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  " |l ]/]Nominal2:threads=2elapsed=38.580cpu=72.548gc=4.016factor=1.887zXZִF! ']ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk;>^vz+ EI. k 5U*\ϳIϨ٭0'lq.< [?N4a+9!3h[EIǮED,3fzC.c_CB leM~P#Lmp:(}?qXMtK-65(!BX(cz:*RR 2+T/wf8; {OVw%΃Ʃf@VCBuh29?ϡbZqn&X ?Ps!W%12Z3ׄHqdx*qU|̓NuЦ#ZzST}x˦sv:(;<ؼuA?9»=6e@ B(!!-LÆQ \ Yք. ⩋&_z=z]OO˭_`1<%Sss)}6ox4LOxΉVM77!Yvbٷ_jHRe.]2D4mr-_V&AZ    Nominal2   *Z嶛hh?)fk5D()~+I_8mң4 )KHs}ڴB06>ƥfV䑝)Z/ X E (pL|7m4%I2laa*ϥo6, GU,z\| cv6c n9nҰ;6G+%Pmo77l \w>`Q" YRy#o類^t}kj$u)E]bms\:EW OVlZS.[9-7areu.93jS9+R+>OHft^S#5B7qn=@ȲgA((/P+ƿ"rLfXm_kn F x-toy=&1IF)5GQ@b۴?Z^b";=#qsgA˭x2&5jpa}3WEHNm Gt5Z`/֟2u (uyG>~o`H.>- :F]͒g OU5ېgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14QmQ<vxthe|oI5llRM@jcc@Lxi>poΔ9T='!MD9o_vC\& 8/􂧵6yR:F}ݒzB1Vpw[>Uz5OF2ﮥK cw>ۙ u"3!aP qʯC I]:z.N<&BCtzFlPgl߄*ţ=-(ȩ؈l<u4'6&[lF@< gYZ7zXZִF! ]ŗXi%;i+FȗM{,iB]ߍZJ0`V0f 45Z95Nob>*DI6xS䔎ZTW _Pvp0c FlPxF )Mn.>wCHU\bu b3 78Z&"JhH1K&騊wےѺ84٣$T\( ()'цmA"-|?JM!Eoܹc(L}\'3^=uL*D׵W R gEeqs {3ֱjjW^~^.gf(X m<E^,diIE3հȓ"Z%[ Lհo!`&/|Ro#8o$EP51bVU\]VjlFg:BH+(l3) ۗ/m(X*)<|=W''3BN9Kyb/Az] @'5L܋XhVy#s7|sJ  O!]^DdKtWOfXyUY49KlLG/H(ּCخ*oAҫ& 6n5Q%( jB+Pg?/Vp4lh^ivZYB(_H[pٸ/|%A37p A,_|4s')wв褬6Ok;پ{c` Qɰrci%΋ ׿':H^Z.H;&>3%(.a1Ԃh'ŧ)SOwt 7\_X )J~Yg6kUQ pqo?yssx TgH!!x%s},uI-"Ew[[bP)ė}\ AQclk3`dp!.q$uU1ax? ϗK}U)ywgBg[07[`=lg6dU)Fvv1JKJtbD?* w,~jd?K#qwéF.ڠj]{EP؂vf,^=n琋$sr'NjM -}l ]j u! ۨ@qoDA7@A5ϧ!/YAkRλǠc›>EHSAOĊwΨu%.oً#aD ><=6/c6;fp.&2חŁlƳ#"4%PLj!8~geW5:89Z!  x |hlu+1d2l˱ݒ}{vbDoopOXTs9n$19G>5eiRA|,n{9";e*Y r"TAU1\ʂ{!9YwTJLJ ^TaR͉QE_r}ɍU;cvǂLj. 0PQa4IFק:`)#D;c8#y=̋1<孯J4)uL8 ;V5%H - -^Lcۗw38nUZ)Md`-6l?SxMŋEm ( i>dPbvgK. lnܺeCfUO_+\W;fSSa[^)mU E+8pR>l1U[gYZ825bd3d254ce1a01ad11b15d31fd765ce21d9fdfa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39af7053ea4d5233126a0c73d912e6a3f32c618b10