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\ O/ ZF-AC:threads=2elapsed=5.643cpu=9.824gc=0.508factor=1.747zXZִF! w0]ŗXf1-W'UTxlFO` -mg}GxRySPf@TKN:19+Keo:Jlv f}ly_ s{Vx;ڟr/xip) $r.Kc>@mG/aktQ͙Ki_YV2YL ;׎-xs;Dwr3k_J"Ä40tVbPùtS*ubY=5==;M}`=݆ٛ l |a3g6$qm%@)(H(ū/%)-ʅ9$"~kurS9: E*exey-?'[\Ӟ F@ǗrqFH$g;feF&~̵f`,gq}&W\ca6;0腕 qUNR(;ҩY,D|73o'8fUq@#!..Wn4)xGLIYƠs3 \ , r84u "Z'8Hۆ7ZA_2>O}I)x oW6X IgYZ7zXZִF! %t]ŗXi%BUV׉ά@G@^NUs p;^$bSGn;ͩDo. vVs}Ϛ]M5ę3gߴ5#:'YT~mg5\^$3@fQ}D2iN]3b9dM(/͚xh[mpI3{VF= "3 &8b qm@@.}Hq ̀ރb(vlpvjޘ^CΑӷˢ@ĽgX̬h0c6AwK ;v`5ebz +{k@Pޓ aLK~Җ\p<4Վ8_5CF2,׸hJN`LgА(fjTV_ĥ:ЏP3'H]4tf&csB Ox3Q-HX~a\.#8Txl3Hs#RfU\5p&{S/ƪ{k`VArP!;fWx=HSQ+ '#lEĵ {'ʿ0'@%&6(OQK@|y=#K1S襈>kFYjXy/MFP&(~Җ~P`ڎS<$fF/O¸ݎE.[H, AS1ihpU`Lo za=fpުϘsJgYZ1afcc71971b3aefb86eb3bcff68952cc56e2814d 3dcbf32a5b201c43f15ff143b6ae6554e8b4473a 3dddc0ff2abf09d1383929a525e0f8a75a6a3dff 5863f148db56ab09b24c50474c2ee660acf73784 5888623d64ba12e6f0306f3fd1f757401cb3f69b 5b1e8dced20a23958aeac57505cbe89ad0e0cd53 64a54d70f4e10b494bc05b075dfe89b52dc30641 76efaa96c7daf746388df383464cfd569957afb5 82457f4f58caead494df56976f8a5d6e07ac4bdb 8469405c44c723746957315086839625a26484dc a44597aff3d071ffa814710a7acbd739e91bbae5 b6ac791f14c9c5d23130d34bf64cacedf7be7319 bc19eb10dfed3c83b55145c646685284142dcbfb bc53d63647d459e2b29be037d4027890d3beeba1 c27fbced03b045d7aba88a83c433aa1c3e3d83ac c60f47c961b5ab563d317645f93e01c285851ad9 ee99107f08bac5101c8e9e1e654125db32780923 fc9bbae489f04a0823db72656f5127ed041639e81d303aa48c02fbfb8fe205c90ee243804756e6a6 08965c534c4374e3d01143cbee9cf396c114f95a