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 z tl ]/ Heard_Of:threads=2elapsed=36.334cpu=64.020gc=2.552factor=1.767zXZִF! !k]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!%MY3~C*E+"8O0$泍#h$hY{X%PT7 uB܆^k.Wq:< O L顜C~"Cwb%1 οv:_Ao<ٸpAYz@Ͷ |%MC<83v>#57ezM*m6Ki)+ZI$%Q1 8S)c@gڀ> |tĂוN}(ȁu a?@ָ   Heard_Of  ٟ.w<8^D~#VbU5{/JO{lF\/CZ‚U3+ CzFjgnzfEK Bd9pBĞ곗R$p򤾾T*Q8]T}}3 Ox]#P5^kJ[Rr?3Ev;Ф-ظ %jf/)VIYWP'Cߣ'H 2`pBoƴ!sBZ1B (;%!clh-*% q[qo/g^xr(iH];ѫZn{-ysw}2wB`ZF"nI"TO^yV'K=j)QidRU bny5eSwj.Qt]H7ѺJ^T/ 0xZӦج "WBH_p#V+ ꮇ s2DȪcqK.?i*El{sΐJvøcJ"G+`WkؼsFC=6K`zUs&N hy]6XCSL!umЄ uWT{ֽBޞPW*>*o^ ^BM(8gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14E.K߽n:+mcTLܑ7iB^c|~P 9Hk?W#3sF}dUnXXZ0(|<-!vy5\lY(*J }5^ג}Af{1FĀh NVtT8pwHrl-ٝV3rr<BeLu<5PO׶hH9;j>$mHE$C#y ^};[ 1LPt ?Zdݵg+ I.UmGAQoף0e^kR0 8[ gYZ7zXZִF! < ]ŗXi%;+&MiiqJfT)!EDҕ'˔L)Tkh3#[ *6Kߤ^D,"?',q_4wk2ʇtv]-Q2|g>6*M%NK^2U%/Wq?x Hd$hhJH=KX㢀h6/0{lj0]Oz#吷~$F/#ts[IEZk # "fM_2_im1kjV}N1X+'l/D.Q-+4XF`HaJŲx՛GN(7֚C e !C9nE`=-)p03# muREzBxɔ zM,ݚ43U澏_ wJ;R* X t02 qi qvKZO;.,T(oh@rYgh1&uNj_bWSL0K٢v[Κ@a. vr| ʭl0F؎tha'"9`Ce.3ym#Er]~QƉ ~ )z+T?܇u2Y%M̡c*̑3j$3;y f Bgw=5hvu XQtP]?qbSy+>+z*P{*3 \Zh!jH-ޏYTd] Pa鏹-ȟY;&.(QZS ?lQwAZ#&: SCf3W \ f2fy `qE:Jڈ,= RDF@ vWxwb$1"sӁ>״9Qh _:5[o`\iZq+~Ђ;g_wB?#,Eg4fi`LϪې:} Ȓj{OvWӡ!`Yl}eϷjAоy(U]Gtqi\{xi$s&>k#!tײp:Yi;82\_+t!fqT?ɒi,+YCZA;@uDm}x2‡y%0uѽJ][師^VDD2\@ߨdx/CZs1FxI}&L/Pc띾mɈijPOn)>J5^i]( 䅽33m8ŮH/TK ۢ-W@,UB'l`γb]LzZ9Jc%9ޠY6٨q6: sv?{+D٤_:?]m^P{=g568?S7-uZ '>HQiXզAq݉-юy\ŌT/0C] &ҷv/{PSa12Y',0R.M_:_F!rY0lnTx/h,`rH&)Ay6.hޢ<~q8/IWk-]-&"Pe^X0x\8E eQ2>Q+%b~M]˽#<]UBJGI3nkFKGASp@f-`F7y @NZHz6o'-od-;[Nwe3B1\'{c#?gk+OεJPʻP zF(RTb~(Ml}`dZ%Jh6gf!* n4h1A $nL!Eϑ ay9"=+~VrUV×qu 4;V镛gRd9m1EZ