SQLite format 3@ . YYQ77Atableisabelle_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, "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 b) 4| ]/ Resolution_FOL:threads=2elapsed=19.704cpu=35.296gc=1.628factor=1.797zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crERgo]B~2SFAk+aYޓ"XUx A<)JâR_8xІXp@gzd̔W|'M ~a_EF' Tj8S#b›GFƴ @j ɧfR4WT{܏Qem RiK6a*!7vUO}ϑ زIp i*\J$dW8xk\Jer»y[1}m(~%pmL| ~+C< )7 su{bZDߞ1e;ȟ_MYWYGkG 4D|Si%d _;RfT^čɌ(qKANҋ#9zQr{)/U.{1_0 Iû87:>P:CUbtzK :I:*'hhoa[@(avZ! &@ฐr_[m-c2OXD$JOScʯ&f`u}bypH; $Pz;xw8wՀo Fi,gn#IYoOnxVaX})MgYZ7zXZִF! g]ŗXi%6qH,*Mh(ט g bDz%˯"A69R:Gjln9}ΐ/> 5E r։1Ç! lPIўҡ"vX 'N$I)%2tey]]!ɳF(լ^WA3 _ l+L~+)m@4Ta?('2P5C:`7MpEN"M'`By6"dy>cZc@G 28m23VI4)eAp33y1c9#(We8 ,9O }Nb˨^]PFbm2 MO rIYJs!(貙7\ E#Z88βV8Qt~ns Q#9]jK3LvcwMTl>1Q ~K9m.cҜ1?{/}pg0d@k}/j5O_[\7Z Y=DJvWdDaz=$!{V?cv!q Z۶ ՗ElΟVovϒ0Z @m@:3Ì/LzD#s+\ mk;ϲgcݩaސfWթ6gUK+Ia$3Dg1ϹDe5~-OYj4 Bda= ցh=ƍzG:2KPf$p3ĩY~P S?,#k5oE'+#W{Xѱ545tNV_r~b!\'oۈPWԐפ٤/df6 kU "o\޷#316„r~4sЃ~qh|C^n+Pmφ2@`Ci꧰{% %J HyoBfr=FDX Bӓm0Sft`gvWüYjMX'o}qk~T1nTj\Ⱦ)`*nғknB 68©sf(|5;7P۾svyWB@-Bp:Ɯs{FJNb2<|Pak]daxJ\9ʣ:FkDpA?mk=Q/ 96U"N