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  | |\|, ]/ GoedelGod:threads=2elapsed=8.161cpu=7.864gc=0.112factor=0.967zXZִF! e]ŗXf1-/6vRZȔd} bMJ3>~Tt?V :ޔ!T2lbzь%9 nwǓ1f[&gYZ7zXZִF! G<]ŗXiɟj bk4ĻMGCj(->SkwciCaāXHի*}YZ7zXZִF! 5N]ŗXi%ή++_8=$]: aoSOae"aImҸuB"8"pXݩNHxu9A%a)jS`zkiK聛G"Q7}Y$b3ipگ}lsqf!^Eg,2'C.U<UCoFc҇8ٺ8(SS#RoWK46ZHShOCc6fYoD -f4eˏJ*zⴿPׅT%?'''K1O(]]uk@)(Kp\/AS&Uc:aJ*D ؀?+]0DeoNTua W|I ij64*hau_ }sCJ z>րSOTDW al41q|ibNCj*- n $XKM8t2N1+R k8 ?"~V5$ #X:և\O=iQ3o 4@}u ɷYOf#6ClKtjp30A 佼`8ܭ<&8s\b'&_Ah}ν`udIѤ뵫*bc]O%~4?So8TIUi#X#/|{21 Qd wxtIch:}=V>&_<(2Q~ \qk o;gYZe0cab7e2e367f7330acae0a16122ef063086f87400b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02   GoedelGod