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 J T|t ]/]HOL-Word:threads=4elapsed=16.964cpu=64.116gc=2.804factor=3.787zXZִF! ]ŗXf1-q恈eO/O4Eh?>R[G $Wmb(LRh6ɳ}`% 9x;˂7s[[޼؂(!޷Jk 6tJO'tR%O3%xӋ-5q||,-ؖH S3%T^c[r1Ja{1?beshz(^as-ZS>/YZ@QиWD1$ˌGT?:2! T2*>L W_/`SI`:]g:&뚇Zv#I{Ԥlpp?oK1jvTwtrjadOnV\UT=n势!Hw|49aF@0 Sv^zEȉKӂcjgDy8vfUml{Ï}vqQnt_8; {%bIIh]@^;G^jҌYg(r)\JX Zv"յ C!i֞(jz_rW 𑯎}Z)ft7+]t$Y;"~^#3% LgjE_y72h {WN_Kk]` "t>tl-ۛwlxT]T>#0n:]iVR02s$(vYU۷k'̬0:0īd3@4.~b#,h*L -3R:l3&ӳIu.{8W8Jz!B_9GՅ7MX3 =` FLwԜ+|l>W+G 3/|.@Ú} z) )LNT?F"wHZa4+ d/̏.vG;|Q-i/S+8&j4|?-,xcq∸ETR> + 8e1*`=Qh߱gYZ7zXZִF! w]ŗXiɟ1}?3DDCBCmlUFlbKd/*2/ ͢υtu`u_> =0Di`L,iFoHlpOF&RkQ|~TJ vWwbrSuj1XRhպ$ _&6mK?@fӹ2()m )] &Gչ@`QԱ4!h +ɕ) [sQ;\5SSuqMXtyjs/j c)alC!YfnW99mrW3<+|,vejO޺8K@oYǜ L>Y[| o 'IgYZ7zXZִF! 1]ŗXi%L IdalNGD{:(T?CG*6<`ڔ X/'_e*jf]F»԰f+W] o(<gDHgmfJJ)j=(sVAV (O"Z-yN ,CѪ=A)lf1+P>XO)? ^}DJ;2w uܝ bΩeq6K.{`+C2ܬkGa Q:꽃k]{@36 /{Ѥ[;*.ҕDB:e Ȇ/i\W>>/Ut "|Y&,}AR5 1="@iEIvS6 G2Oȧu վe=$@tFEOf/{⢎y儞0lҝrΦ49;e5! K- :=(zI۶txDx{۵HeC?r6bbJUUZQ&3yRW@ib=XX|]25]2zG]%=uFf6mntp-Wd'%yN!D5=¢*Y) O[_møe#rV@LkVyi\f#YI5Ny,kIX n_ppxJ=`2o;ūӴ1Q*N-QE\B5TS}?+7w>0}@H$F0>݇hNrsW-L;, oxjn:?^%&͂PoF=qE.sqKC^딇"ж? =s,OU|=i/NFhM.w "%}W" M;ł#@t\k6e%V@^Q(Ke%f5) ]y]A2O+B:fh$&YU-G4 Yv7I8XTU> :잹yu6_)P]/MB) $(ZIE$+g5\¶Cjj@Yj]}owFbC=Hjt=xУFI|[$G؍Vv8˞3/#ߡi8\ʘ5>ǻqa&-8"Y40 ekVtBpI~ @vFPmo[;[9y8SJ5=ۃ1^HƞƉvHwFD}$Zdľ*+@奒B 7M50a4|#0~߯ͪթTC5/è7e&HHbf0;֔۠ K]-d-̅Ƭ/H6 pG;*[D 6Ds?ߵ//