SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F $t ]]]ZF:threads=6elapsed=14.845cpu=44.372gc=2.472factor=2.997zXZִF! p]ŗXf1-) enȈA XR„)dN;-Su6x2DF'#F'RPRi8}3οsToρqv+D33{V qqM۵G j_@ޢ& V@W/ j\lazƈ B)Rsi8ח6Y_ ~(Z'K=!n*n%_vŧ)Z 봷3{/PbВ s"N- Қ QnYt!P%^^Xtávc혧 Pi[]gYZ7zXZִF! J]ŗXiɟ 1FE`空c(NhviOx*vk :dzT4X7y2Zo>!GY;T!qt* $ʋ{U.YcJp/ƭ|h +vka`$I-;kNUE!=Iiډc395 \3'= Mf7h#S8춧ܮ[圞4  ]uC/7|*1rS7&q65/t,܋#q FBIbrᱞDc(cjk-yӞd˄W ;6U&JuCR>Tص g5@"oHa^oOAq_ n; 7Ծ-{[0\t,bup>-~`:=LZ4ЈxC3.&U~%J.\f@8 ;m30I]} kY3 E ^xZ$ԕ0lB'* 6̊ W]T}irֱgYZ7zXZִF! Hq]ŗXi%;e@ffq= [PC@c0䀧̴l8jz}emO_~,bƗ$ESIWNZ-rb\ 4gpg2&ׁӦs؇F\[q0ov*])עAΕ^@zc̱j!n߃ZU 2y+_(h:7e>YRN7 @7z }Ksң0Ύ } vqYL]:=o~g gmxš*@soc훩Csڑx%Cf ZHeKGODvwԐkzBkn [ӷ5 J3#ii&NPb*tn^L)+>uh=,t<007sCްz_ivŖ >'%_b}N4oJ ґWa;#N(vK- W Ӏ {Ss7 1X@yeP+*/ jA@bs$2) /畦:PyÇ|N4ѫּ*vpYf9Uyf&"B9)jٺ^C8C\T3 bC|oN55Kь,Er$)v1cO|-O Y7[9KXU ȧRH}0!]pr\.ZY5T*K h^׈Y t\"w.;bwc;;ngeW 6TYxLӿ ]7{l*r+}v3Wf oW" d,&#PWRny%hG+| :ХG{BVFTK}\=L(}],KO8Q)>Fu,vtxDzY9Xϗh Z s/`:ޫk.A8"ԙX^pY4CuZ!sͧ?62qb$g?ב8:=s_ GQy_BV`_#*a37 9g+gYZ09a55a95dd6061a1d4cbf2bdf344f27d69b5a1d3e16f84d7c340d8045cb3723a318bbc6979d10b50b683de6c08b6d054d83ad8e25b053a99669dca27  ZF