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%/l4 ]/ HOL-Proofs-Lambda:threads=6elapsed=110.506cpu=140.492gc=6.056factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}8U>0#鯚A:>N2OJ.H=I+L IEse}wc)[4zLubQQȧg GH Jy{_ۘ_jqHX(m! J{RZBKj|bg*B3+=>$g\5+\Vp%_B%)' C14GP{PaJ_폠gHgYZ7zXZִF! iQ]ŗXiɟ1˦r+g'^.e#M˶pFrG2 &c\ʼYwc2uwncn$!gc6 *;jUbk(\1dwo0\vݷТxlP,s+CtBh2`BG?c:7ざ_W&1$ɺ * Vp18i񯌠00 >A 4 6ꚅ9V`GySpB"X.Yu aG@T5[\ f\ Ϙ2xsEdT69yJONh`&Y;K0Vn.ׯgYZ7zXZִF! >]ŗXi%;JߍcG/^8^|qܮ2*%1E7g"Lpdцzv:)Vu$_ףޣ(;0)^/q񳑌xJdR['o8QKX^d 'O!A>u~ES=*]Z*^%}c&±y be.@IS5M&/ Hv%ya_[2"T->Zuv!+O!ޗS?meyB  !CL;櫱^VY-?53m'j_(:/`hl Zx+'[u"v'sA86v{\Q)ϤqA]=TM :/%6=\nXHNST=]1*@`(_v / HOL-Proofs-LambdaUK7v/bXd,oLocr4jb34ZaR)( md=$*4%$E;wΏ :0|XzsKnט_<ڠ/`+BP՟W6<u[jAұj۵L)~.D5+ka+{ | dWByk4N+]#5(0g4,r;LW A7EhِQ Oqw[=uGOӔ&kso FXDO|&" ذ/&6rxj2̎q*8Snyr}*?!J IV˙SMXmP%<wIYUF0z>(c-Bs+.Y[d (;Fbyv0r625=ֽCЦi`yʝd#3QL`rGA,Ѓ$}A?$& g=|!8 ,%d"kxtyFkRݎGΖIZNӯuZ~f DU (yB3犧1]Ӏɟ?ߎ\ROުZTYx\%D:ŕtu*Z?7y{[ AO%|ه-M77/ϦSm-f\^^7B_ r$3τQhITMeэ‹q>S.2e)"SX?~k56 { Ti\5L3!=0c+!w+ܦrx5Yю2f;TqT1[Lh sq_ŀ5T%& Vd~뤵̯{LJ viD{Z6"Ȓd YN~$5*M}1&[EW^јl1NO2鶨粤'ib;O Z-ݿo.B2=Үu&+O#s*]Hm0p`DounOrEsNd-xO. Kݙ⾌[r\ hg;\3ZN0hٙGBV xގX;vTfMpr_ 6D<.Pyec$f^Iz"*9vB}s@Ad?ȫAz. q(K˓|0TS{]=Qxu`,}An{cEd($YdH֧-P>Lr0Tg~IHPޢ28(Pr!#^O[9V4wka'"l ' \/U5!uҲ}TۅWFt1Mqg}c8.6;jy".YYkWLGm>pfMx&s:(0Oz<%^z6a8(Ed0\:&<.$^\ô@UQR p䴲ø# ,*wZEr١Auˆ+ Ӈtjt1l?VR 7d D@>s+X"5)K#$ql{dE=>IDB!L3$χ&^=氤\Wɠ9Y5#cB1˄4}Q{8/b4SHW,=w(G(xQYnWG$(;^d,u% uv3=wcZRK.rYGSs>P[@l*d\|~9;ohfF[η=_;}nnz߫n2׫^KRXu6F$,9^d-RR!* mBd7)we.7Rt1LsJ ë Gu tWAQ/J̱;Ev#乫8SDIM;W(l:Y+R ^&BkD-TF:uqjeN2R2f'>P N c"UOƛjgCѩ}#֒KbdH^o29SzKP )=}$%]ZzzOaWYCy7`mN9qݽ?|dDFh0e4+Z1x'\AZoBQ̲^%>C*Y gNGg=^[)6[ ANwuWģM}r&9 |W#͎ELV&Qbf?v' EHS:f[  xԿ*βQt0ϋejSfXOe)g4`2O O t&(]sSDӉt$cRl2K] ϑqϏ#iQ9IT>ׄZ%"WʭNByjזߦk%GۇK{`},Λ2r t~WЭ9ugRd?E:ҷ[Md?!t\VEEܓ\]e1l:_KC0,ƪn0!Boi{c0󶶎{y}&`L14ka#D,uֽphT`@>(PPS"2Hsxm.wѣN@WwmaC.Y-D7k_ɟrIpc ox 0Mĩga:)Wv05n,^V<#k5'w~.gK! ]7*.Pk&FQ׬ccJRx"RyHe W P=4lVyػvvzU5v$)3|ڈdܾSdVy] ZlȸCoS)hu_ 5a^͜˙g.ՓTpUttu?^;mqcUiTFUCz0Vw\yy$\xۡ`'$yD O kUxtCķ"꠾:2t$kgYZ8739174ab8fd6dead5189d1f1f5e279a8de42ca91557763c55026864eeb1fbf92ab3ec60267ee348 099e4ff689781a78decffcae2870a83507b01f1e