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<$ ]]Regular-Sets:threads=2elapsed=49.249cpu=83.064gc=3.500factor=1.697zXZִF! T]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'y8p3 ˶F︃GK'2#qJxt0$+E9;[ .ݠjuKT\cizPƈgVˌ9zɷE&n6(ZM'4=;2@3Z"x0/QGAHڊPܰ$7Zc. BMN}AwەVD6턪(K{[LEcx=@=ʚBMiE0-O}c1{!N#N6q % Regular-Sets!:tL#s2 EN#T Joig\]*7?0)$c7%dN&LEg /]I gF|rm'6"Kչ2 a8,&-ME?+`21*9Lź| 6 wDyX1Qf|p5 m㺴wߛ>xd8TyG^X(е$ ":&g51N]LA@M¨pcalz>EA.䕾]||`tf.= 5~%IKy֑bQW5S+0n'@`\~`ԣhS: Ti#-ak_i7B#gYZ7zXZִF! ]ŗXi%6Sr1Bos8u|-#V#ݸ c}/ͅ5/Y-Bg9F @KCg+5Yd*F ##g>w3D(C]>.uf>· wHGT~A̟٥Ǹ{`qnwN銍#)KVvYUezk~aƻ,WٖaY] glDVc{NxbuI {Hmji`K#\#NN@]zSˊӯl=S3 8mtR-yW7ȑ._]N((}Bmړe7)Jjr[ٷ|9'MRQ7QG!9;-:O<.Fhۀ_sɖL@.ۤėeb>FhI>dȰFCbP$fDBR&O:C?v9nmA3Zd /㍷5#W2<җrbmOzi|0ܞm 𖕵'W:\L9咜|aV-+_Rk'{{)CqMhkh27QxD\xT7{؊_RNa. d|Sy ]C jX$?i袮eW;Dq)3`JeFa<5 W3Jn#'6vlTJMOKK:b$ -`Z~aUmkZv̵3R'Ш9ތI'b|*3Muӊ~'6}Zw.γȦuNS~=5o".^e rDԏ-R~V^%;*a{;e F싞0a P4'S +|-ąbRH#0B= ~@?(Ϛaw _#Aȥ<MΗk+5̣YG,I6^10d>۸zR,ƑG\^$}҇HD7/(gV=TJAr'*%pWV= :մx$c@&7"腣p6}OD@VZ^6p(mLDHBgYZ8cab31cafb3bdf0e98969cd31d3640f4d269a41ce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f0a5b3d1a833cfb27a1b70715799a462e13700c95