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 |d$ O/ ZF-AC:threads=2elapsed=5.306cpu=9.196gc=0.480factor=1.737zXZִF! ,]ŗXf1-W'Uڑx#rÉFk\/ٰBnb#Ҷ\-ӱJz]F!2ʙ^U7w# j$Bf%6VEW$w4%p<]V2CՑ"Z& dAܚYc @V2Nq} 埾fk>@+Uzғ ۤ_zʞkBA"JeoZ(w|g4*͇&Tlۍ(u4L,x]2eL rdZ(Vӯ| eUrFQLÍ#J>pNRsb׹ghN`N6rX7g昐Vל  ZF-ACtCJg9 vJv(U_Xn-|Ӕ\x(ct%Z@;S䛉inF off=2;I ID$S{50 .zr )Y+{aX.[ވ \{ї3{fkc׀ 6ql r \loLovXv[q`nܭȁl@6LFrItjC8ON-@bAcWܾ/MAuTk!ma!7W gYZ7zXZִF! #]ŗXi%B%A5ⷤC@;w[_Gm:t F9.^{ 7&)rz/EZkڊ^o|`2 >z_!;@ׄqOZ}j+$ 0aQ2}.NEdB&85?Y qs5HxzC-Okv~f6(Y?WdO_) ]FaUϞ:ҥ5εK[}ѪfciiGlwd ˣ3F]Ay"YtLߨ$_*57 <#Ϛ`U٤,!|#ʾs?wpb&ljC1D.T[hh^B>fCR=7)w<酷b1Tbg-^7,B;CգPP%6aӘO2@FenU1,RjI) Oϔ$E/Uѽ-V mz V_W].WUZn$W_kR=^: @^4LK NuUFGmc=%@R{tgͻH7آcPxf5l!x܉Z-Sz۫0-vXXK(p3ËC%Cӈ+y/YT.aVw\:`2u٪Po>IG|QFCgYZ1afcc71971b3aefb86eb3bcff68952cc56e2814d 3dcbf32a5b201c43f15ff143b6ae6554e8b4473a 3dddc0ff2abf09d1383929a525e0f8a75a6a3dff 5863f148db56ab09b24c50474c2ee660acf73784 5888623d64ba12e6f0306f3fd1f757401cb3f69b 5b1e8dced20a23958aeac57505cbe89ad0e0cd53 64a54d70f4e10b494bc05b075dfe89b52dc30641 76efaa96c7daf746388df383464cfd569957afb5 82457f4f58caead494df56976f8a5d6e07ac4bdb 8469405c44c723746957315086839625a26484dc a44597aff3d071ffa814710a7acbd739e91bbae5 b6ac791f14c9c5d23130d34bf64cacedf7be7319 bc19eb10dfed3c83b55145c646685284142dcbfb c27fbced03b045d7aba88a83c433aa1c3e3d83ac c60f47c961b5ab563d317645f93e01c285851ad9 caf4fce915814f284c4568772e72465dea823892 ee99107f08bac5101c8e9e1e654125db32780923 fc9bbae489f04a0823db72656f5127ed041639e88c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 7f8b9608355870d405660de565874803ecfed86c