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   n)$dL ]/ Open_Induction:threads=2elapsed=2.249cpu=4.124gc=0.112factor=1.837zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ e+7(m%_w<KBzKvy~mա|ۂWU> o0te$*cnV:"i>yi}3°/Sz%PM!lsx8<W"!$o.gYZ7zXZִF! i]ŗXiɟ`.~*Dݤ-8>^Ȱy4TVܙsϤ`_|G 4:lC i8R3-Ό(!5+gYZ7zXZִF! ]ŗXi%90øS2Q%LL={Y{U Z؍jwr !O܆UQCkcS%JZQ.<\/S]a$ɧ BRyy~Z=MQPN坓FXt)zG{0%1&wT Љ f E #aZmC`s7[E"Oǁ*. 4g_GcǗp.cn(]GQ6OfSeGI MpyҤ9D Xʥ3'l:_a5sv#` ?3?)wڣ$A^2w^Ńߥ7^us\cU-1Ka[,ק@oS)tDZ̝W]Ʀc&v%WݒLp @q|YIUoi"qAi8t̰*Ť,>sQpVhBc]uUSQH$5\*$]2ATq㱝դC^c7/Vm͒$31ugYZ4e52d3de70cd94b83e42a929324582c15e6dcb5fee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 ) Open_Induction