SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 00M' d  ConcurrentIMP:threads=2elapsed=23.235cpu=39.848gc=2.284factor=1.727zXZִF! j]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*r)jl\#Ll4PY`oOۜ1%h>t`'!:I(docey5h?8OBSMX$=ͣڪFEw|9yW*/avQގ %tXQc鋒 iŰcybu7TSk *-X%AI@Âp2VP輙"RvIݜ_$kɯLT`.-`bs,ok,u glX'\c5ajL#Hy{+oYV`z /<-QnnE瑵YWBڑTf.@>zi1- Pz,?ƑyÛjcύ#w3(5igYZ7zXZִF! umE]ŗXi%6Һ=`RԳM \J>~׎_ 矏6%i,C-^DŽxkf4τWuCj8}DħXZЈk!&@e}bOL^vT&?r^VrfKס+|)jJ?LĈh9/Vz'kehjׇD:bR)X;wVI[SXR:@4^J=*^$)"e)x LR7k:}\UĄɃ) ZVQGTh˹_ 6XekEIԎO.a:;58T?ӎu)(,$47Xc9?`wUabܙF$!|vt3̷ck߀1y4kfyAZ>Iz,*SaEˑnuJ84c-a1N~cSJWhrS)=~ K̉X6GŅj%L;עsQ+6#,`(߹Kuzs2s-w{@م̰o]/Y ^񍿄+IEԈ ӟ|:u-8!\ΔG(7BF1?6r>ww&3#VDک4F F ?hE+ cFfk0fI_(PJ p֙,l>Fk|,w 1oAK8uHG /jBT9IoA\vwȪ FztH̲T҃0%Bĺ ƛ} ϱ, DRvId[WC35#2ATp|;:NoP/Ej(EVLBNGmkYb.J~o9MOqubָPk XI r2pG]%gDZ[p>.<ݭmˬ:H~ڈT5];hp ǣsPgYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10e ' ConcurrentIMP