SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  ? ?6/ <  POPLmark-deBruijn:threads=2elapsed=23.642cpu=44.652gc=2.512factor=1.897zXZִF! W]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jf\vTp%Hoü[HuklZ/i ay7D}kaE z)20)LK[XZޣ+`Rh"(%_Ĭ&AC}yf+';Q:, E&gF2?d~K_{|8ѷ_pK7UH %I[$!oʨ #'x(ǢAƟIT [qHC5M_jI<ں ws>[vWjI(n8آ'\n-= j&vrD Rg *M ڋ]ehqe)=KC_)wF+ k,t5jQXs_k'Lj$Lr1[FJh+/i_cw]fgG1㿍֫}@+XU%uRBqUZ.B#؛r6]YF \Є&/5Dz{V\IY [/\E\GJn?qBv}Y/{X4b_yHH@Zh!" \pן 3Z2EQ[Fl5ņk ת&`|C(E@VGϐ` TǼ,;Ы)Aqnbc"װrrvc9"s˪*E6g$Xʞ iu 6,>A&+yoއ@"eg,GW|*UCL)h-s4_@tHBقlFNfPu-"\1>5E}ϱ#v}40Ne1_OOj"]Ap}WEhwlXs7rR M]XkiTH\Դq{A_!B˓;#߫pbIW{%͜yĵ˶cbB5#QD/ˁdS_ jմ=73Ń3F1Sw;LJ)TmZ"ktEXU?p4rubFU!EwEHl (<%'TJYFK]K k%ZR'snR^ R-^6 WJ @٨)1wֽǹ<"Ps[SόY$Ϣ2Rg]UgyQH^}&z ?;r)|7WdBQ[tݤBRDFLٜYFŽ.(wi32 5H/-lʣ\sezEM:o0SEz0v;=3|p! 3cpq8 ^5&T#D`Zc3i;(<>%Ye^j"W!{˿rXl);k^p["%aW݁Wڗ}R . m3I QhQժ ?rNms7;HEށqn-yI8{c6꾜MM5Oz덠am~n50x^u;& ;-9|A9rТ!h ѐdrYb{ >2ptP |FۂBilKհKZXlCf&Qd°a<*= 6?NK2;tvxe)urU5 ;qdGr9lsM6tX]7v *(%/x950y¦´;I:?:JTJ7 ~F:':h9npl}zX|@'SsSs>iK~6dٸ#h"/${),;]zyW )+kהB0ՇD¬X8YSD ؁VO51B帹SO8cy˜ZÆSM˝|1S& :ƵݨJG +b6.^z@{Yfyh6>sh:WI@Cdnd^6Av:TOsѾ)ud`,$W r,U@X]CZ /sAwF{bB>)MǗj;4Јi(3Frb\*O7&,&̧ ֽ2ѯa'4|&&̙xr\x7"V>vZgsU#\έrHgYZ7zXZִF! z]ŗXi%qϻT|Ҥ>5 [ƮΟVsCA&+q3 4(WpH7ܚGj"\czC0fu% Q tb-H% +I@?ƶO΢7*v L{-Yzpd'ݖCXRBM8C|[KDt}ޥ"ٲ "nFF1X B)˗؅_:7'q`ژ*b,"X Siq1o:`y~*:`\o/9\t&_61ͼކnXq ]3. p޽"keDZ]2#0t﫻-׸4^6ZҼj pxiN & 8{!N'۵We!i:={(AU#VǢGnHh醬P: S.u\TIւEtH-_Q61k{$ܼ*|ŠPLh}"ptDgAUFyMf k6s.[@i\h~)MWl*XV:j@%l;b# ,\^Umĸqz̮M3}ޫ9OX߶e }0- Y|SK࢈C^^'~"gaen\;8>IɅ8m%^ 2 j *FakW"'S#F-J50Vv(Al81d$ى"cd6I;MK˿:aA 5$j1F_u26qPswXSY19`sMH!Y{oH.P@:kA6`I XtLU0BWKt21ϕ5?ěN@0r8„ϸ`9)=40f2hQYd_ySP {ͼS\CZ"fP Z-]gg,KrIc"&wf2GdwLgV3Ϯө[QFeѧcR,u0lr.a\ `;dB>t,D_st~<֪ٮ<.tf dBL 7ϱWɑ})B1Fof~( h ZOnB^j^S.!2f L^[&̵ۛqk@ĖNQ) <(T;[hyu2ueJPϻ[?@:gZul L_I0`x9N5Mţ_;ʭ45ǩ:YHzoh)2E"(ByX E֨]tlsLR=n~z4!gpSH6eҬOBj=k ݍz鯕ӝp_8@pyV.K#Xc(qJC ˤ gO-eQa%Sy`i ԏW9Ј33l7Hϵ.WUft%A(źT Rzo V 69a~w8drhq'&3 tUJ T{z+pH+Cd 8/ gYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e