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 [ \td ]/ PropResPI:threads=2elapsed=15.945cpu=25.360gc=0.952factor=1.597zXZִF! e]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;f bYY2.|M Atc- +xL Q$,ħ9MͰ~uW}z?sm>{|6g9뿎QsBk*nW8-O=g!Ks9 E?fm ֵ~5 _<<vm1ЁYȃTMa6'2})ZdR™s6gYZ7zXZִF! r]ŗXiɟ˕A|tYnUzݪ7PE |JT2<pS1 Mg>4+o( t:ݻ-99S6'f>{D C=h+MgYZ7zXZִF! []ŗXi%92I`+)] Cni)Y|3咱ZN/cȦ5KПתqԗwcq*Irж~A:cCqN]s>45vJ ]>?4Gvlߌ?iMhT3v}H_zմ#Q.U[^Dc8 3VҶt=^X,jF~M;|ғXT$-Λ[bKs+S鰭1Ϥ@MxݹfVvUu.В]ߛHqiK(dVaWͳhckIF; N_ih,]ڰwo 남H< =5"d ORX@MTln~cn U4HO0㵝Fn3O^UމU鴶RguaBT$jkr#< <lPR(^f,M R12%7N[CIfK&Of mab3MTh̤ mkn67\941uIL_TZx`m/ ; I[^9ieEJMjHXGs6:l;7.ٱLN 2[ aW 6QŕkᰄVdo D$+ͣ^82Ĕ9tIH>~*{WԜOQ/S=*322gwJjZuO3LP:Ӿ͘x4:z#IBݺY_Gvf bb]j*-O˃M>;Yy9}]*kƿM` \8z=Ho.9Ef֢_%Ȑvi\rY|,|Kfv{߲p+ !pfEgV{!S? x'- xbI?IEʓ7^5 ؛O7EЫ7Ozvt#}\$t܀G`l@SNaN9?LE q{/#-lj/ĝEX҅l|iɮq)0<^21K#߳fCiBͯ4I`a&`:1k=#l7uӋw`?O6οN˷zS-"G~ْj7%u9Bu{h(\*brmQ 0,gYZ5ff11e720ce73c4208cbad39e46a2bc6c61a443cbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77   PropResPI