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 mm% w Pairing_Heap:threads=2elapsed=3.225cpu=6.440gc=0.496factor=2.007zXZִF! ]ŗXf1-/6vR[2F*DlIWu,|".Vbȟ_BKx0@fRzB:\Yůy4frSԟl1&sʋTֶ4n5~*fP3pj5~R&4x1)%+"7ả':0(iK{þ/9T8ທS!fhFM[tKs17$)+!f#S`ǛXgtd%42u$Erh912rؓ"A)J ^rÎ9po wa/O($Xa+/p͢Pq8 \Halox]*>3j,_ <F]1^ܒ1Ѱb/KNfRW'J[ˢ5ٛ/qvcՕ&=yT]H7&?o{@EA}<-c'g % Pairing_HeapYZ7zXZִF! PB]ŗXi%!2K]ÿ[=V6V#Nhbv| R4ق?|,5ZqO )f Nc0Qo]|~,\@9rם${6L:O8@$yN G 4 /zK`dkκsGX(ŋ/n0:V$p[: N׿׉&x xJހ[ Tig8&#)vhs(ק:K~1lЬt[ڙ ,ph剞B=Di1PǕvBYB;07't8(I:}K6Nj +6hsI illL/u44 O7Z7yz/[Kc& 1ͨ1k-hcDrk:C\\/* ƿgi)a1]#S3߁ a\!i"[QbI;M bz/'PQ&.!8} 7?#IG/k?DSZ_(p/.TڲgYZ2406350fc8727bfbb9cd0b178f37f8c3eedd0690 74adc48a72fa690d8f30865a32ea28baf7ef0f9e 93fd90144aa239ee204184369f17168ed5614265 aceb996a5b707b618f7a30886fcc2ce058098773 ce48a7876f4cb6047e48fa90db8d31d7812ebe67 fdcd07e33d850f2e31fec2b9a936a64b6fe54da907addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3