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  \ \!- LT ]/ Constructor_Funs:threads=2elapsed=11.794cpu=6.072gc=0.324factor=0.517zXZִF! 6]ŗXf1-/6vRZy ߃&O/GYc񍊗(=Ti1Tϝ/jd uC>|Y׆v.֞Wѕ{&;;ұ07zPxogaL@ ѭgb[/a\DgYZ7zXZִF! b]ŗXiɟ.6j@׵|Ix"VԿmOW#_5޸,TY:'& fZ͵}D6XEs~} gYZ7zXZִF! C]ŗXi%;уwN|4|Sup}pH7WزT5v DLĄ$dQT"RW$-zŒ˩;S9\I)c($(v~}b9,㒺C6D|`w =f =ɶyI@*n brd*Zv{E\1vE-9Pi(:傼<>A*!yKn1Dž-81ik!dL6[JL~0u" ׄG}'˸)LwڅγޣmK8{ej};>_ ahU3Ct9ӴOHS$5;uYc✬|\Qd g _.O1R%.sBeÝWX1B*`]9 )D4F^-)$qf  K^0yhxSXIj]F/i}!%y(ҕɔ)UUFBoy FIO G"Ӈ9Cʖ;bA=ӈr!Bp97jTڿfl `nݪɑd,TU S1r)C'nۇU *nZCe;Fkt2A:j' M-\NVUYDiϰurG BRkv&y9)C+M^ e }ne.at,χZ6gYZ5ed5a288ee11fba7ef1f0c48a9e6740b4eca846079d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 - Constructor_Funs