SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info # # Z+T ]]Sqrt_Babylonian:threads=2elapsed=13.846cpu=22.432gc=0.708factor=1.627zXZ ִF ! ] ŗXf1-/6vR[]9҄պԗzX{olD Ky+ ˠ-yRRIa(/Y/s#a:IF=?dc;7љ /j4c*?Lte3':6m5ߵG ;ϡzSgU$ԹPl}L(|hGj *EAiȭs@y iE2V Yo!g YZ7zXZ ִF ! O ] ŗXiɟ'l2ti0a 1(W?Qt)e$0^}E\][>u3D.Xue C5=<6*,QC@>!> R g YZ7zXZ ִF ! R0] ŗXi%92k-s|\=y Jx*1ŅW^ɾk!aY#`C2e+)\vkxLAH٦@ȯZSm:-, $Q\*7l,GU?FLL$XqRCHW yaIb5d~oQ4_ ()o0Q @pR~o@C&" W+8rXs!l*pDr4v#3p -9e{|yCr`Dq( Rt6qI;ɰLjJ0}:0)0B'ԑV%9Yg*48Up< ߌAƼ6l 2(j4:{&@`; 1rAb\xxÐ U5bWqXbuVAf;4DpCi9cV#-*;2KuIjٺ:>}gy\ ," ڤp>M0gLYݍ,q):Z |EuU 95^pCEK9_i+]myrO*EjXpRC_.x lﲭ'*C'^4DvGBG7VfDlA/dVFH (>+Փ@ p*S։_7/u\z`ρ22Ab|