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   v' \| ]/ Case_Labeling:threads=2elapsed=5.095cpu=10.056gc=0.408factor=1.977zXZִF! .]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sj"IjKpYuaٰL3m?2p@tl?3),ڎat,6gW&E?*zLBn})Rx˂" umqaӅAf-ycu-mm#lwkʲ̱jX5<l_)C.B`A¸+P!3;kנ1@Nވ NƝPYh+OsdV=MzHј)9jx{5 ]FJGw~Q/c #\vW7&u٠@6gYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂ&:w}"K .am-f=\&OP+sY8d d.X\K nf!KWJ75m_k/6YDLU2Y(&OH–Q0s57kRQ#];HP)K<_K' 9Ypʩ' ?l^.Ύ'},= pZ3/W'J6gYZ7zXZִF! ']ŗXi%q޽;Y`wnibWXD\0w*z2-70M.$MS%4P>!g91W@sgGt4p$a({[]1snDOb[ ZB!K4/ܝXofzo *r#/]g_T΃=Dѯ2FcnԎC.o /w/_* [|?g4r-3ZE0N}Gf:VSDލȋI.LhE|9XF[5+>/ '8Cxv9󧵯^XlLJL&p&]~bMBK s6綩[3Fn :Γئ U|^>m>Bo?X39,죒lQ<?BсhY <}wW z&4hQ i]ɓT?=ۛA{uL =6cLLo?Sn]WFU/vϬ $^e[Zߙ5^wʼܩtv*!(eebѤpr(uVcwW録m<0I-P+Jl)%OߨK.MKW[!^|=Tnx@:M'Tt>E2FjISKgCD:D\s#DOBdgYZ652bd844f007450f529930c46f5ee9dd9c9749ebd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e ' Case_Labeling