SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info L|T Sw Hermite:threads=2elapsed=73.532cpu=129.772gc=15.820factor=1.767zXZִF!   Hermite YCx]ŗXf1-/6vRZ*F"Q{K <2/͞wYN &daai:v`R>?*T%P% S٬9!Lz&}ެC5IS>Pv4O,)0"V[кYyu~$ܯrbTbXZ ׌Th Ⱥ*u(N"Z[@\k]u$?}4umIa×]@O,;ry.D%>`kΜv?ۚcBa}c]H =Bwfd{[ązސl~)&9d=sX J͑~W^T:YS?u=KV K^lڌӪC<ಟzca-ђWjHrYЉgNސǢ6 E+AKx ߔZn1fW=q߁޽T$O עlFC43┩vAZNIѼ1z^vG=IM'M-Yϗ7햐j uP.TMVM'(-7*b{7`(A tI3wdO S\hJGR@knYuN4Α+ ? cq:!CU];kI˲}J ?|.O.[0OXӤЮ;w",-^7FXDʇV#]PH/r a?G%5i:7IY=Kiϋ{᝿ a4u+5oU@}wQ[ȵ kBN;$apO%7A}tsjEw".XsaڍJR F9bB|3ץHqr8 #Jb>9ĚoFV~eD65x|FQ_ݨ]MػT믉 vm:dgu\ U"򿉼WE͜H'!7[TVь7k=IJ7ugYZ7zXZִF! @c]ŗXi%r $8i1[JmUny -+¯fmi@APc @e(EHxUVy[c6vP@R0,z`hW_8!U{[qXsh+dyT@,ʌ0:[{@j8b4HK*^2&k;BÛ`f]rU7OyV_\h4ubdjkFWH,RuIs޸޸67&Iijr$~)6(&ހH-X b_w@:<]A"/V8 *mVu}̭'@stEEt.Nݸh&6' 0.i;cHMUH߃oַ ! {R JX'1F cb4CD ms@+@Ǘஜz#Rk=5h7-og$O]*F-6VDZe:5ZfdR@3 9 |"llle@-d-1c-Vk t%Ψo'75Ɖ+'v8-^8[J#&4d V.RCHF(B*k6-#Y6TTt p]>8,].H}g4S w(h.;MBR}Sd\uA*iulvdS6^s1PU63 Ax׵qwcC%ZPRжc۹P4PF#vWF)Yf$ z"wJ%n `.oVB{}'Dg9|`LJ,odmIgn'ݾš_gΩl74 %Sշ{R{Bм @݂SzG=|q]C=v[ur><[zcXe2D)*[HnO R?g u)1U ̍NOYn^E+#=N4r!@>+F G};:ؓ*pi<TjC+A Ղ}hzx~^R@9بէԳ#:5-Ή'5ٵ:tW!\/XkuO:QpZ^ҽ1;o.lUtU#Y_E1etw-Dͼ>xc[NCzȪVKIE9ϕεX!gmLo 4ႜ> Et*Kfw 0t)Is-6Zze*5Hbnu:\Rt`ㄔ>_ K(^: 0l3%ߑԴ EV+KhJIUqvMws +)x\ :׆Q[U3g=8+L6 M|I'3=z)!:[ӯ#CtD{1Xo[9~5abq:MS>3J\ئX+D5l.Z;X̖ H8aaF}?MtZ+u EV e 7~׀5"pDЕiYDS<Yp+T5$* F'Fjl9ܼ2t y"RfX5.]%Կ&Y<좈T]2jr&ŧr -Mg 8:lAx'>P-3;E;;̵xl<<3eЧOmoO{=~b[|0@vh*%= @d$Tpx6X3sV";uxC48!*ny[|!SDDN94ݿz-v ݏtNɹI|J^cȩ6y]A:_C/-.-w#t{qƸ zN!y!͝2'2K +;Ϙʑ BΒ\OoJ TBtVrF(ie!EWIE{A?FW!F "O! ^ tt%Ib힨]\,pُ63[ٛ W֎MDoς< P⭃D۔X93_]AAԜhqJ'mN|JKڰGa84XS0pΨg:fq&.69<ײ"+&S‘BqwvS{wtХf x><'xmŋaۇ膟JlMig#yx%\#l-f*dA`/exw0HH Sn`/HeN.  ںZcI.AaLocvrL(DB%LŦ7 X]I_HmcYKuS.R{=߭}It2ērn3Udתc"sمuR!]d6 ^1 Ǎ)`& dM,ǰ"V\Է