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 II41  ]/ JiveDataStoreModel:threads=2elapsed=12.984cpu=22.664gc=1.064factor=1.757zXZִF! ]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 |'+i#ܘ,j&`^ .v[jgc_lݝ`NkaJeOI:{osoj& 7+ `/eja+Rڅ+>sX' }r!^Z74-"gAqϢt\;$1qD~|]Mv|BUʪn3O&7w,Lk|)6}M{4>3)J6t]:[UP@ GL6jF.Tܗ~ ck ١wm`uGUgYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R^X6^ S7A,Q%//},@RZ1}_(YDtQgݗ8N`!. 5qNvA^ϒ5F:&Il6g2aĉ,f6u+gjNU|i͏pRjXw3;#+V|1h0F:*7PlAH % JMD'z6y*]kίLc5gYZ7zXZִF! O]ŗXi%93-~6C>n6C t NOspp5gr!a9J?}:|i_n]R;HƒZy!c7횦^QfYpH*I8R)m~((O }*$?lZ^M[Wk/w]&s=aWHVr~TN~cZ ;%-}aN@ՑE̯R eQtAka"Y;!2ֿdSV?3 w?A˷hmwgu ^#hzoS4|WiuH;Hqm,NmHJc{ J-w,) iU7Y?bht5  H9]xXtHJKrt32ֵhI11Z߽uP/~;c"+G~)_k^OJ W+\*yfRTeof#8WZ2)u@xDu"V-WM0|gFbuy+n!}zyY=纈3%G1X oV,ik?HXG|F f_WۨJt9a3^4$ZMfR<&1KzlFP)xgE>U@ N |)@T؄P"b I!x쑧Eiy`aB7RL"pQ_<09 ֟ͣgYZd263d398ebda8875959f8197a5eb2b9e27b5131da86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 1 JiveDataStoreModel