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 33J d ]]IOA:threads=2elapsed=18.705cpu=34.284gc=1.492factor=1.837zXZִF! A]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)B Do;Yi 3y$Wvʥ+1tPC?wPc+I0* -ҁrj8xǪ#._C7ǛPMÛxt >fӢ?`NU<8eĘֳ Na,mVljTL3!~:q@t,}K[9Z5BwU+E4rw1Em^ E#h>,⏙^mnf4(j7čNĽra0_ 0vf4KO C'gU?0EGխ?Y|PBY9_?B!ԬMZu+Ivg$!D;f5|'~(W2$ iaz𙫣Ut0\aC]ou,d` CH/gYZ7zXZִF! YF9]ŗXi%>gg`lL2'z=PmJ)sFȨ٠k7G(<>Dx,᝔E%hI)} v_;)%BT;5F嗉NLcU",83plD:jRŬ40ۯM H3 p+:&HlL¸ϡQ 0fu@5/fNU/ >+CUm8kV{U К0Nfb Q·H( 7Pm+{yҁ*> nOC }NjxAw&`>I]s_!EJ Kʆ~6IK&ysdY 0 [2 vg#>c~ezAfQLŐ(aL-3/>gE{z"(/Md; Fq[*ceC:I.oΉv{8ݸOZaIk1! j`x߳u|7>/7w #Sb644ӆS>M!Gp' toʊ=^t<$Ve]Xgfϩ31,Mj@q]wfz0 l}RR PW8SU@lFxUDz!#JfIHub]lIfHt;ht/@ݺ6E[V>Y`-m}}4V-qWI5ܴJ3."4"HO1\hr$&©#qL;V}Cl0e@u++AhtΫm> @c-kkT1ľ%W\r&jZ= yX3휭p _CލO5%U nHanL2'^S?×Ƿ'ͻ ,8l; 5Z]lManHwK y]T 8I@k9x@_5!HP Z94&0֍h1PGq : Gy{ǖ$ `zMk|2gDy;:E`dRjlن3֘n@PJY