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  B5 l ] Lower_Semicontinuous:threads=2elapsed=7.137cpu=12.040gc=0.300factor=1.697zXZִF! @]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&E\NvhŶS,( ?VS.Q7thCQbLuqgOLbR) y[Gm Y~ N;>ڍpL ggYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(Cɿ;C13, 0=0tā]7g^4}YZ7zXZִF! 3yo]ŗXi%93<> ,1?} 3'>jqf ]Amstk QGH_mf4Fʹ%U?pGS+U ;4 / .;Fj>DבR?Vsf ,dyz9^P$SWkwnxGZ:3%L1ݼU. K@Ú?[}R VzdGE?oUuKB(M &{@ 6:(/e@a̸6`<| ܬafMBˮvDU|"uTKܰ 1RwpLUQhz \q)QZWp|9a5Oj[ Fטܯ:wqt5hƻc_F%8 B'~dq9=U%PQƒ1AV2ER܀!Hg:Wȡ'ClPHD-emq?Ɲx%IAzbjls?j݋|.-#̌A ,.{-Ht ̔_#U%= ?Zk1'~rbKkOIrsqihHx^@i5Z]GP1E'fE@PNl6,Z|Q`DlY0;f2typY)RFx\ *57/pٌ2ˆyًI'Ŷe_q41"="GGZv_фLL\ź9  Fo1] 6}^T{8t9mpmElp1_[2I