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 JJ33  ]w]Applicative_Lifting:threads=2elapsed=31.875cpu=53.044gc=2.908factor=1.667zXZִF! ]ŗXf1-q恈ܗ4ޤ9ũBvp# J}Rц cAPZc>cWLޙײn.Ke{WIeHHk=puJ?kGMSN$WCI}Ni%a بHoz,}/S2ޓɯ חێw" A (q.mL!,PNW/EzG]W8u|fx' KDP=T#).mTpCC*j`<$Pn˔ye qjÔBjrG4sjUa2aDlOADqiVrLM7 AԾAH_82#A<͗v圙™fdLH{P OLԻ:֮Y@ނp@* tnFi^hpm)1ͱgYZ7zXZִF! ]ŗXi%6./p'" i,.6Db >L 0NNhKNn~Tk@$NHΖhTdz~=7w!Íոٕu&8kYmĚhn>,{+6ΩcU`O#({ظ*'3r!̩YY2 ThPװE0 G@QgSI(P(dc7ϳ Nb3aa`ws\m=s zz"7&;[?ck2J^ra}?Py36~9tyDT:he)_sbi9ˆ˨ (X+MD#46^?P\Lb$&eQSV@HA4fJ#2㻹фAv3 ۤ`G´8TwҖ@"eūo%mw Mԉf Vuf~XgZy%$]@]XlH,y4)Kvcl@ O7ʏ@+'Qbw7,xVX9[ 5-1<`a[#]VLN&J8f'/Ɨє}Whab+ rUY=mܺ.Wr>G)t<0B!Iۍaavi -'XMU~aMU u}d"+_|#yfAw(^ITTfE 9gUfv)N#fBRgٟ ( vTy'i V'joޱh:dwd"NܽGҰ??AaM_B'L")?Á%-qD x[,+(`i ";3˩ טBxm]jx{sxX Q;u bSuQTOJ>Uxw>³I W.9f2u@ $n:}ܜ.n^$ fi=Idn) YV`I ;O+ܯ$v}&"XVb 0jdWʸV?sNexΡI=) !i3R[$ctkb?eak Ƞqs;С:k^WD-Ku{6PY((yS#Tk)䊵"%1";t[%Q;Da!ڐ`N q3Cv˟z5͢(3+NǗ RyѱgYZ8991c261aa075afd1a4801c3d4d1e89fcbe116350a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 71b61bb1af1b6239c53bd9e18a9914ea83e4037c14d43ca7bb35b110baddee845e9bd1dd4bae81a3 3 Applicative_Lifting