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 S ||, ]/ DiskPaxos:threads=2elapsed=47.408cpu=78.292gc=1.468factor=1.657zXZִF! )]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21ALc8=EHF7U2HU{42kzN3s98?F_%ԟX pWn϶8VC8g:B?ӄDO\9}<2i:2/pv]V׆Idx">9^Ăڨ$5o٠p=@:Hk$*u:ܤZm UN/e8D+;̎.RܜB6* ؖCd#_ϨjF q9?}6v   DiskPaxos  mٚmܽSܾ3lsS^;ve"&!GTBcޞԻB8%QY] R!txpD}` m2 㥌"g`QRXo׍r5~dc#ߢ{`HIR1$%dⅽh^J;o]mÞ/gұ@Lp:肐nkAD_~ӳl:›mĀPBWYyQG#)wsdWY8bEqH((Q}R޷/ݥi8 ߽z\K]Ku=ne9NV;jP>"cIʫid$v2`S {1gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S*=b\A}x?3#T*9!Q$BM4L_gFH#PhîК0=Jguܜe{4.}YQpϗPt،fǡ-?|_& D*A*/ЯGVY3iۺEPIkW̾*4-zYxo`9νTEEJ {p8Ch9w Mz2t{rt<v TDzc#]+ 0[zά22c,5)!7ڟxsxtVNމr7Q0Q 6,V6_Ri! Տ{*H?$ .tg W!S-1Dp#L 4ou yǷf;~.=sYp͋&^6[pЉu:cKyʾ`]xxt<&_f Ck,TYң$yçOP;U*jir-20RU%rB5y)VYZg0X#ѣRru`Z[7}!` ķwI$4'Z >{mX}R73VUCMr[cz}Rn3w"7ha.66)0kW%v7 4IϪd\2#>GbC`{< ?ʝ[eG%=$X ; q\}jOyC l*V ^ɵtKqDDو:$ ls0e[HSk5uH;zgz.b1w7[:TN߯op]-F/VF AYAy|4,c78Oۍ6(͢+))`9S0q3P kQ&j:.ŒQ0A*pYksK5RY}lMPC4/譁AG& Wa/`x^eh*ѼqE:jN42Q:;<+o~s^QwΝ>&.?TNѿ/]Y_Ϧv tsK0ci\ȇݦHwYb="U*±̵ bks՝Nn~#Pt !uF#LRTB㺛2& .Y;NNpS^o