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 7 tL4 ]/ WHATandWHERE_Security:threads=2elapsed=38.672cpu=73.608gc=2.588factor=1.907zXZִF! *]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TCU WDoEYiVn=(`/R]MG ]kSS2UwLɎ4LTk+jJl3:66ސҩa"A;~U%>O)di'ɼ/i8p=ՕRtq8d(KJ%1# Hom&q):ܘ{ $/^Wmw?=dOGQ vG0J"P~P#k\f`ma{F-b@ 7 WHATandWHERE_Security%yBY/*_̖]fZNm,~,Fm3X`D\ګI^9IeyC,892"u'6p05RDR``[ 5hxš_ӽstiUsrͫPkXX(ge&Ϸ -^}x\g,e4(1Ywvkă#OIEٱ|O (/z3\BĪݶ .(}DÈQHYsy#b$MWȒe{Τ@2:(SZa*ё#t w_-Z/N?Жtܴ# !\'y= EgޫGzy9T8W^ XQ^3 /CRrdN [DlrD TKO3]dB;3?FC@*3;3 =)زa '&FȯPfu3%#@!P;Qn#d,s+uBIk1k]q=HQ;W4Jtv=GvFxd=}aDE\+=E<&=_%#&F| i}\^HW8RNH*0wSG!!!&E:Gk(׏U*cgYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#pd[X'&vN-C7䳍@ /gz#/RiPE9C&DOIVH޵0P.Q9j|'x8JÜl,8+UaI9WC٠!$7V4FߚV8 7q8G=,ziRFgY<y;nj7(*ޏwR(cE`?Wu46ˊQ͌gYZ7zXZִF! ]ŗXi%;c䶨ؤ99O2}%/ UNHL7UiPKպߥi2{;Oe"R-w+K'yjjbpbɟg  5eۤw0UK E7(NL]Z>>D8AY F7?(*CV$|6↎J:cvviҍ;ZywXaZJ!6ʁg[YHo( eOQGVSiضK4q9 ![bQ?\ ?D"KXBguu}/Pb|0͜9e#*5W@de K+鮑%G6q2[ZpN"%.^J R4x=-,D?4n(fV$z[:5//kt-/b}U!++0G'5젧|gNW/~H6!I$ym.kS&X!﵎71-!\q0"_s94p5 ,-c2@{@PFYl¶v+ IМ@Fkκ՛=0 z kVaWFRԸ2 6daxL[@`JD5@0eEm)㮫Lp^4P׌GDDD+I~{o._Y}]S Nh`T'9o'G/o2GB K)Mk`BzH5Pvgһz"D+-$O>wռDԞY35JagCF=^iho-"ƻ+=I\сP6=:ZydIAI:=>el^B>wOBgue5(S_x{htS}ȡPݴcv /YiGư<>kWsQ)ٚsR aH45v;iE9vy $QzusVr "9,j39Kz[XA^<͈|8BjVgE;S*8B\;mGDMp kR{Ts)HL!sǺfUczG<+k$OTo ޼Nv#zE؇iPl%ƗçMdJSUkoG@-L}YXɊݑV|LO,yf.x9rSe82c }HVrN.Mn#/9`j%#d]x璒5OX󘗼"0|Ȅ쿜&(e5.ps1~}yD$PCF2qiri^?JY.SЎp˽fi0~H1[=!-#g:8`҉d#VYQ~1ȡ\](Bqb:9\s9M|h4 Ms?{DĐd`e(IއgE0 lit3 ct޵ڴ/*ق.MWʐ{֙&[J[,`ߧnAV=(\V/ݝ&\+ 㺗NKMq=SǍU|k=ľөHù_vys|*C2&`ΗzK֖m6 ҅ͯWJel>6e\ڻex5 /}󵹿f볯-%]M14qDZ VyiD3pw&'`P|}@љᜫ?> kk-b2p_sl=~L̺Yˠc G[gYZb6d18a31a347fc1f3a4027d2519a7f40ddb04c2c79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef