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 ) $< O/ ZF-AC:threads=2elapsed=6.622cpu=11.344gc=0.708factor=1.717zXZִF! % ]ŗXf1-W'Uڑx#rÉFk\/yXd  /:5DLhh)-<Ok ԥ*_HFD"yAr<@3VƻU B4QN_+% ֮"F`dnNāmYt)8"Z*QDsWK_vH8 6 mFnPŴ@@oe!~dninU}?=+ή9uwX{Eg+f@Ji2k: ?3XƦkN.23z&܎Rȇ낐W< m*/vuPR!vqy[꓎Ӟ9 4DbP$VyZ?|e$`L|m;fɑyj5FRQLЕzy%aw'Ȃ Dvtpy5O,7*ԗa'~YXOOK!!j.HEK=EB6(&/XP״_C&̛A/'0(#@Oš 311CAV f({&5R=\r^bhZ%ӉE 0e  ZF-AC*[qh Eڬ2dk(u47N^ y1fnf1JElCwTc2X.8O`UH~IdgL$;9ko7e}Xw> 408/+gŃz*?w&F@`j*TI-u VOK,ƥ/ћ'7O?wiT7aLVX>jNJfTewmPs1*eX nu N|B3v]h% Oxn0hs/|/0,*YAUJBR %5lua;HdzizFOs,KgYZ7zXZִF! *+]ŗXi%Bpq"BQTA6wQ7. ȖBGwG^JK2a0}YSޣ>Ls\.qre.= Klyk#+G"GlX,'׸oldGg3ff0@T0 9rvԔ*mwrUur B ^k֜+~6ԪXl &FL^8I/gK4Zsop{E0@O)]ngO?Ns؁R}vE:ANtT|DM){\eTw`CgYZ1afcc71971b3aefb86eb3bcff68952cc56e2814d 3dcbf32a5b201c43f15ff143b6ae6554e8b4473a 3dddc0ff2abf09d1383929a525e0f8a75a6a3dff 5863f148db56ab09b24c50474c2ee660acf73784 5888623d64ba12e6f0306f3fd1f757401cb3f69b 5b1e8dced20a23958aeac57505cbe89ad0e0cd53 64a54d70f4e10b494bc05b075dfe89b52dc30641 76efaa96c7daf746388df383464cfd569957afb5 82457f4f58caead494df56976f8a5d6e07ac4bdb 8469405c44c723746957315086839625a26484dc a44597aff3d071ffa814710a7acbd739e91bbae5 b6ac791f14c9c5d23130d34bf64cacedf7be7319 bc19eb10dfed3c83b55145c646685284142dcbfb c27fbced03b045d7aba88a83c433aa1c3e3d83ac c60f47c961b5ab563d317645f93e01c285851ad9 caf4fce915814f284c4568772e72465dea823892 ee99107f08bac5101c8e9e1e654125db32780923 fc9bbae489f04a0823db72656f5127ed041639e8014fdf73a0b928fde39c061b3b448884e65fa152 bed9ba24cdfd5c6d1bf1670098fdd1a4feb9a427