SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 G 4t ] ZF-UNITY:threads=2elapsed=16.453cpu=28.948gc=1.008factor=1.767zXZִF! Y]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,V| HG0S*ZD 8J zG$%~Z=]T}tSwn y1 9'&!bg lш)oFPY[!O45hPi`gOeP?4/;w)$vd~.`5UEWzAoms /9B~W&ݭ6DWfFOƸ0F^!Ee"<Y+ϵ6@-{4{Le 4&OJф#Tk7dmˊﳓf93YaGْ3YvL *ŲfJ_l8 }F+7@i*ZGra#?ev8͖ᦃ؇@RMZLH``P^9J9da1 dÑ%еHҷ̙ۆsG4s%|*]^7Ae6g9F΂j!ʈzJ<ÅPޜ}B _ M,ͳhPfnaR]!<̽79Љ[o{S? fpRBz֑*W3Cn ɬ+CA؀Q6fe\ AQ=(AƷ3ǻsA6~Ew1 f9gr%I.vHzcRVv4R`a:ЗIԛǻD gvZ=KUJ@wLVE?ia$/& })4!u IvܕE`mD0#lht(/{|$Xr~ k;uwN/[Zveus ޏh0IM_ᬹV:j~Դp./4 *=Hwe{P>ЍV`ڽkw.@׽`mK(avgDL:"8JnbɼI8}'Иg?