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/ D4D ]/ FeatherweightJava:threads=2elapsed=11.056cpu=20.208gc=0.704factor=1.837zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!SLF+0~rV@' Y !pƿL2^Ze~EK%ﲷ_z\[U3j1A(՝W%?xGanC"3}r֓Qf3xwm4bDEIL;q`G_m4R*Yn^äw B'~"^HtvUy*M-ଆ5-q;O,C5RͣESBrTPo8ˆ @~F o0@4 -@PN ̽y==}Mki/=cz?H_˙Վ6)4w3*nr!gYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#QkZ!1@~s"V)a[/gn TM)[=8mo > b:EC/_ܴnW忿Kia]d^fȎgY\8I?gYZ7zXZִF! Fd]ŗXi%92m/c R_G|\%9X.e15s[kջ&7 SluA1!',`2x cNZwQݚV.ܩB`H kL *Hѱ ?/ *aOE2rKO\j דM[/ J$Sy HV8w /#y%d׀e4ݧEJcn.m9HNR[U0+};zzK7(Pir$ UjX"/݋ZhLE%M -DcfxjWCcEg'ݡI2ӕi+kOg\4zx;y^r=jB.4U_f(ia_;M-4 Soc[䇿P&T:G ;ėG2^.qR }C', 匮tV$.ƽM0{ >>$ "T(>ɬʂ~7KP.Lo.!]BՅVsDNvkn4s&G%տt{v*B7E~ $bE&0rdPMݑD9uj\|6MO ӖÇ=8nȔzbO\ylNmC\bQ(THzM)(fRwsK@d du.UOܰ/,Dk)u' cGjdL)F~fo_؆$ o/yL1`cPRZX: :& F,<g͛YB:/R~}a6N#qlWk -x JiV Vwa$ +hr徎,xX1nEʡ{b3& +*