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  4 4I'l ]/ Case_Labeling:threads=2elapsed=4.754cpu=9.456gc=0.428factor=1.997zXZִF! .]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"B43C|/J]=X"]J!3Xm泯S%S BX-ŷyVSM {Zk VSLs!dzJMmYdJP=~fPK_/;Ҹo~^B^Ø.{rRF$Cr3>5O\(o`i V"yUtWsa8-4I~R; M1T|}Z6߰*<}jV܉"NϿs*S)?-ݚL.)ͣeRI%X#{z3}3rd)j` ܅#g\`ڱgYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂegz}B[rd0N)l/u>ʚCrj6onDz~]vWFk |&k_##^>fU n&5ΛKj[TT`fF#F7WjN^Gi?9uỏA%@v ԥ@&,2+0aAi'gYZ7zXZִF! ]ŗXi%9(SNh ql6 8!ޭX>tDgYS/I+]EZJ4*%m7ڣxcݔiSGS,G_g؟)+:}16sˆɉuB =vWzOUoiï[eYÂ@}$dz88qOxwoڇL>iFAoLl?1nqGi m,k/ wو11:f!mzT;M 궕7{z~z3VIM L2j%{0t075n\RgѲOn%OĘ]\^f[HZ^Ǖ݌'T l)V;Hx,N;%vn@԰L+k,q!7,UޞC6':\;af=TIA~g *>6qkkЙ63 S @*KGikG-}T.+!c*d,d8mE|* Yr$sim*5<9j ׯwK~aI0v$VBWZAqEUYK0]f{AKImO2wV JWf*!Z +]݋p_Ck0{8Y:#AgYZ0d429eccfcb3d9ec4ddfcda06d66b9868d9a06c92722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea ' Case_Labeling