SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 k Lt ]/ DiskPaxos:threads=4elapsed=26.408cpu=94.632gc=0.920factor=3.587zXZִF! + ]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/,}_qxo$gCtSFy$5mKmqw\pSRLx339G̚.ϚV}G`b(I=* ĝ9員Ӷʥƈ:fM<~< 6?n>/ER(l'f6"E+ z%ڛwr_b%R֔c_x^]:#Smh%"#a\B'BEBpaAՄxz4[O8d+3/DFWanOdҮ|U G2Ȟ1OWr 落lIV-8 .%@Rh+g^x(ҔV+g>IVdqr}=,%{J٧e4rHU fk/t2MR]>fj;f7=zM ԮA춧:NfIx.h&&/vAEA%fyŏ|4X{*M;?hд56 :_wRnch< Pu];L8@uq2y:9)2I]i _n Rk@x%Ȍz\V+.R&zK)7|1\v^@hnRU٬W,}?f\). xT]%i,U; j)"3eO/iL ݥ=LU l _ "'CcH ij5Hp&p@cZ`g*Oòg&jW`R) ::QY#$1JWI ڊ%.M,, {P:m%\2ɗ %JSzbR0MՊ+bP5t%vH|` (m| #$ YvAb!IJ'e[3 DKl\o&29$7\$/@S ;p8|ɖ͌`u'RQ4Mw6uh/ԌڛXOSGlMنu4XgA9>8rٌ@|^ayz9,֓0%>떢#e· -,a } [<_.ks3_LG[sg-Ft@ IA(AE!ω;x=Ql@) j63_^gKlk_r{Qd?zR219qȖS5Ҩ`'(#V">V:~Ftdx*Z:B ea-ė5IC֐7B+O_= '*^RՌ bH^Zb\6:FP0o df&Pzj椸>Qr*#ɀ4]YSY2+,]3=h1^PK馮hѺG~˓t^VԮ-!;8zmp!9`n^5H߮B"-Јj95:SKf9&R=\ ꡯ`[iU'SQ F;h@T|"Ri h$ng=TG0( 3zVs}ؓx'$f'* Y߯; (389GK'M4c!*9:VZ?[L{$H /@uAo 9\QA9Qu Br3/ԟ:̵_UĄz8QS+.;V u=HGӈ̶k}hȦJIq?zD,MJUWg[MoWO[y"q? ~qaB;Ӄ}x>u!r\Ac{.JsPZ '~4ShV'cڶPQ}yojwe6h2 븆X##Pj~ K VJLC0Lo5t=|mip@gK_<۪IK5o[dMZn(?1ZgYZbbbcf2d8b69cb3f7c8520bd799e3ab32a67adcefd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773