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 < t,\ ]/ MiniML:threads=2elapsed=11.690cpu=15.676gc=0.576factor=1.347zXZִF! 1]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 s3=ԫg涫,o Ztr[sֹ)w\ŕ}3Ykͅ$UA\BeކO8Jgl>Kz=y׌V=QC C 7]/G}UycpmgYZ7zXZִF! ]ŗXiɟ"xS2}YNd M?l/5v8i F?3WsBmG{9+7 +MZl辮:j/_9!nOĈxQҮ1S\IgYZ7zXZִF! Fq]ŗXi%9*]!_YĶo ?@.,UҮ8_z s;کFW`y}kI{1B1)d#5ǧ;ik?6UH*=@H׎m̞#/P"Ɯ-~+KPQBE XpE !QQwۂ'݉k$TDC5=4짟 TIi[s;(I}l\[W%ӸfR-l VoҝeRv ?btҮwՉJaYz5 ͣK'AȲT,m 9HIψa~4Φե_tƕf:ڷO8#e6ج;0[ 4E8 >8ټv3k6nވ]$d5+[o{:˫" L- q^cfT.7 Fp%fk{63 㬁Us! e ¹2!9Xtu?N]SM9׍цECZt`1]^dwTqfoݣb!O!L_,O[0/G0/#Joc+e7 JкGOԧ&aҶj paX{ZZO|:E?/ɱp{*25Og+ON%肰 3S\=s$ݱ[qHZ${$J;G ԙ2(9CC%mOwp\ Ž7 v b%nF 3aJtFY`&[zlm%g00 ~ Zhb)M[w#`\ϋmSv9ckH=ԳR40P_S/?2qq{S?dʘ?]%O ) kAB NEQ[_gYZ762ec04980fa8af24e9aab0fb670b3454acbe77c325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569   MiniML