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 ,,I/L ]/ HOL-Proofs-Lambda:threads=6elapsed=133.736cpu=164.540gc=5.964factor=1.237zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%oDZn3T=d2p٧Z#b ?ȁ)5ߘ|\zfCX=Gj=&o].@B>jL*CV31=n} -zKi ĝjM|@߼@Wb% |Zw%DT % Y˔9![qz)a WpP%uF~JO&?"~,L)=EЀp/TLrgԀ%Yj˸8 I\A2~(jpGt)_$_njX/ni$S~RyЅ{ȕQa_ںA}"M$|f33{%?opv 3rNAT΀I0Fk9p9}s(͚G PnsZ9#[sVP'gYZ7zXZִF! j^]ŗXiɟ11bu)]>_ws[Ɋ brxV]θRCw Fe"x$]qHsqق\1ƎWX I}⍓gd@>jl,D&@ h aوe5Td9 i@&S1!cc3\[_ɋNǝ~pCuOk>? 'XhչTwGL"DW?hJ1/lԮj= rw~!f=B)$;qJu)aH"jT| aOPh}ÉbC*gYZ7zXZִF! v]ŗXi%9#K۾'>V^8Ӄ zPi5+L#ہ5-j),6մ H)nqcn0 ; ֗D2H8iFG)bR|(pHE]jZk^ AI5۔mj_|ڳE^eDfSt ZтEQ*rE:M=wIC?4~,eirKQ H|ZzFT*癞0֩"*/#!@f<1:eWĂMcנ>a8*FL4m՘`6& D\x}3+] ^_ۈ j GHan?q!oh9q)DKE>hC"I6 iL)Q>)a128L qw;u6cн>k<ɭ8#Xns]A\/ZOYW;[ &~htGSZ_&c,>]v{Y WP?szwZ'^E'WH!iRʵ4A+ؐ"4Vux8)ҋf @HlVeI@og:cU?Ȼ OxҾkKCCJt:uݤyΔ,Y.e*׎]XB*! 譸 #Ƚy/dKfl,qub-aKLV%$ERBp?E CW9aurSd90uSWo`ثPwwYƾ1/ROZ?j'0eȌ+1 Ön>bL_\Imr'{Vevr- Qa<38~oJՖj) w+cϿDE7'.y(3D OY'VoAܲE JsЈX&7qm|;;!ۓRe<*#3'@2Z,mq*@;> Z>!MfO  'gBXW6wJ7B1I(J`vP 9\5˥_@=]y>йEauӦ+#W1#U;B #;VVmn>N4#r'8I7?S`'IrofO27S mWa|648ttF欧a;oqYFd$. N#?;"FUĠ}l1hnm RC m<YߚR_AA"HOɀ}ål+̒!tKֿú4:b&[{.B[x}%G0)atuw<7d2LrZG\EQ"g?=!v Z{ bp>ӣ܂2G9Ѭ%sL~@%o,bM\Q jJJ2 ӹ˜C#ӒPPL g<*1ӼRʕ$%Y?[xQp6}hFż7K9ܧ6lr#R"eX Q"MU,/^DS#%t1_@ʻvcc~Xf6ZJH:?䈧9 6P^* ȽW^j{>Z8"mmR6y.{{ޙ( 5jI=~$BO@áIt=p ?ƶ /| >b_qݧFO_VwtnG&]0^2aE)Y/˜-<*2ӎTAݖeVH|,9z\SnA2E^˳-Az[hh ==0+`UEJZ~-^=kQWvOCD:$ sxO ʗdbң)abw]6-O ny q|rG %P"`Z o[G>"Sn}='Y*ڥSԁt;Wx5C_Cӫj {Xw~-noB0WaLm(*RewO}ݹ$GNykCZs{a W;N'3͜D(3 Ve*7XӺfR0fRЃO!/'\9[P)SNk4O!3e%e8Gj2f[y}E_/}CS6%m }I9~Sd >-5YdQNǺx»"vѨ|x}Ԃsll,zFZA-~W3D9yuSXK(nmiX{l `B~ϊ8• qʲ}=ra8]&P m^y]i?‚F9mVkw2 $.~_zАC_J4  n.^}u_66c(1ΦnWxDT'P J_T˨sIҋ=S%o%iɨ;[Kbвu ꀻxw4G‰l/.Yod6\dh1EFic?hMQAЯWAJo6gRK3:wF!ʺ2 +Joϯw- I޻:%sx7l4E*H!'lneLء ^s;B!&2Iʛ#߇ rB'ʟ s^/8B`-RuQІ?GvO;oR;Ĝd⇸@ |Qy?pp4)1o~7EaJ1b_QED).~ :)=&-<%K\ *JI7~"YviԺNшwz {dzNMWw?ٕj+/vAw3ho(H>s}`4^%Nf:;$pvkoB8>E؄~` hr`Z^9TɐN oٵ =u'm@y:1Pw_"޶k}j췃Ϲdz~8H*<:G|ehg]zk ȸ8)Q8DLAӹb^ё )18яp#U3/%LVKy?Lܥɏ52JNE˨;eOc&׾,}C03\1~^B,MlLx}5UopvD'<=lS9Ƀ}s&>#*hRV-諴@ 1I/k]n) 񡛑gYZ30e297c3b80e2bccca494f580ac81d28ed0057a98e59201648d7aa8ce728c4e17f1d57ee228b2810 26e668f1159575b9b3e532797a1bbaac289864ce