SQLite format 3@ . BBh77otableisabelle_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  p p/L\zݿvD,'}yxEj^bgf9SA~ܒb3dLˑ+'! Cݻ%k]G],L;coXĎ8rP1Tzໜ4VE Wuhg36Ò5R&iiظrDĜy栺PO~᯳1Q@^u:\;KVgYZ7zXZִF! ]ŗXi%9*a6B ҏ(meHP[thgӡU`0Z0k&4M0*6+["p j}ѲER[6賗Q R̻ &QRf9'A~h9ew3d6ߦkKx[/IƄYr74G,kHl7DcO3li ֙<)FM#n(zSłTU2{:Fn/6rՃ]/;t)Hi%?beymm1ytX3AOS¯. ajS8j&Pnud5b&tUIs=IGRQ55KAnI~@SնD8ufoRm.TtIP$g6{ j\iy} ִwRrNҖ /dV)!dù!]J^]mޠ:6ۓn#O`5ULS-g/v:׀v2o<{MȢ%Py / HOL-Proofs-Lambdap͝?5w񛇻}ӉMW2ˇ 7z[ WP&8Q; x+77t}]#VKQaԫɖfCf,BH+6pX .+M|VsShsmUX,myw0%jg퓹C[d=1(ݫaU _2^n g畫KI8HDbXs};L| sAxP+y?C=e$ !8H4r<ђwb+(Au:2VDnj\9b >Zٻ:ӌ[i_&ϝvt%Sx7ke%B]DL^gXA\.eaDd9ŮTM62q&|Ӟ*4U*ͬZj _, DF!(AܜhZgW&y3/p憔%Rߣ M,$ o|.dҪؼRζ ve'V6!KX\LQG*>&Q<cSo. Pwu؎-Z7&Ƹ`Ef_~R4orq?\{bF0,\i4x)"N,"I)ڥ}H5dMNtŚÚym%~эnT!.`*\ѹgG,N/O<,SO} aB $P`Õ=GGCnN26Uea*0|`b-Nx "[G^-K^Q: br?2[jaٙW)\'&;`xKt 6qzJj_ {49^IUNdg5&::Zy5 um;l/k=0G@rVn^e}7YNd,}W|QT.[xk{`iK#]nKwfGQ) WП(؀Fu#p>"!Cjb nh%tNXk(t7X 7-CJ4-熗Syx&2\ }h& KE'G@V׾*uцWpf4=߬#?9)Dž$|2, VdZb" kK%mEa[|W{# ~btT3b;'-qNqnd%;V0&ܺ#;OO@\!&0 eQs]u%T:7A(<tҷnL޲&yÝ&s7fot\BSjg%=fY.s0&B| яq84Go# յ@_`ѥCYDZ}?tI9L n .:>P[ƒ#6()举XoHڬ6։,1&#YxV#&ڐCD T}\*.n [_$ XUW P0&}XxU+qO@`aUn[f]VvȬ< )L6~Al'jC"Z~Z g|dDzJdG:ac 'lQc,G?tcCB$&MWAJIOkyz鶱Sbv#Ű93-;E$㋿=pgƃ;"C ̳v0/r=/体udODД?5#6> &K} #]=piS DTSZ< 6=2( Znt !υt'LZٸ7Y:0\=퇓1 \CT>FĢ8Zkfq-/GqTQyrdo4 \AJbxz窞8[ m,x4PZiGkIn ͤxX džRe+ j70S7{b1b:s͙'&\lzmD+_af_Lp%~:Kl%:? ^lYuG]I5dQ }uZ˞*4_B2GnB|[0UN?jX %Xy=x[| ݁Hޖ4fDQ|#C欴jJ7x+Y<ؖ&!O}49+AhgJֳOcz NtMYN`Arօ~e;}dTox.6:gMpc$y讆ޑH2x$,Sig&Lq_}ORfg=l8E۳J/g@:v?lkm/U5g{VD7qB9A9053y\ޤHrzS%vDE~b4?f4+|bcl*&u!^ˤoPL7SJ3ŽRci3zX3Wǀ ԍڧֺM(9ur@&ME)k`ECG=t'.EO