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  51Dl$ ]/ SIFUM_Type_Systems:threads=2elapsed=59.232cpu=103.188gc=3.756factor=1.747zXZִF! ?Z]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm( ӱFapA1ZXOѓfxHqk RNd'xqgoѬ6M?2f/b kW_.xÑ PQF'f7fsG˥5e`W:H]X+ZkQ]m?SLVwVq4隱3w fGJ>G. ~vp`Leݰ^NP'7ǧ HĮ/Km 3QcQQgtxM2d44)u=A.JB'#a䋫a3 3ŐWHϭ6!Yghs9Z@_ ˲b[0ưs(w<L#A`0 NWqAHQ)^XH8lDd&Elvn#1^xq>e=V p|uH]FńqBfzmJ\ӵKj:FN/^UmrtG:R9e F{Qf ^JGbT5zGfZ?JRG}Z{`/,9|Hb"/fU0Z!HzىY4,𦛋@ϮWՎ U6H&K&B2P$mȁ )t5OrYD[ o3iU߬QAcss{N1uo,I)J Aizഭ^|#$7B=L|M%AVP߾CZ"9!PjnU;/qkغI{\߱*_5$u/ lLMpZNͲZ:+!Fȕ"do }sMV|ɭO+7car.ޒMUDyÖQFHv@wܹM1[$rWA[VDԮ)"0F\4/4g[k"Q EΙUG߇=h I Yj\"HdDZeP$U~ 5gYZ7zXZִF! I]ŗXiɟ1˦r 1 SIFUM_Type_Systems pt#M&")ohEdu ʹdܴ!lb16"]"Eb9uV4aTx.6M$(P~u?⡾Y mɹ]ιh^7p3,ߘr1&lJ^c$|I\@\kdGgYZ7zXZִF! 'J]ŗXi%923Hbu&JX牕 N.G}eM@Tp2=\3EM/c0d 8`y'GOX`eӛ73f瑋7e"%3|4kd[D!џ=1142CRD^Vq$j/uvamNa8cEvYpEDZtA E&B+>2 řM9T7@ W7 XMņhɤuj&j8oړ,OF# nߣ2cI"2>[rM@eQa^'Gו3ʗ[ M?QҴyq~gCÌH^8& v[Qc,oalӚUbtD*M| H~b.tD3v}V?1gPB#Y#շ ~J{T☾Yl…?`u )؂:}K ,l;}d2QZLmE!C<Lu'mH1nTFژ'jC  S9<~FBded1Z3t2j]R Rx\҃Lm^E&+zhE1OokPq‰`Gߘ@ʤ2tŝ(;~fdi j4,̻4BmNVv}u#xߒV\%r+V'h~]9m=WBkߊҔ7qQ}+5]8ή *8* ;.ȍғE4:7.X+Ke[Zf<ͅaڂb Q i^҈ K N ܌⍏76*7n0V-#'Y.T"޻T*\vuHMiڹ p;TP1v/T7rL<b_^CPRQ1ɔnor{^mfҰF*:$S* Io$;X2o8̏Э~ަ٫fdBb&e'eں G.t60N~Q*Ze,ib׀CR1%W>@tb,n ̽ [U41ʈx Qڱ7VjT < f+˴ 6s GAT*M"jNXp%8ِOݞ] ]XI9 `3QI1%M@Zӄ!E#mn-AV،|p "";"xFm3H"SAM$3szjJG{cV#R|)1a UDR &PFŏz>aĽ ,LX_(ތolFw)P?XT~Ԉz\Я~#*G LZ)!ƮN(F:abؒ<[O)FL}=ƭN Ue# Fbxƴ#1@wW2u;6L|X]:nߎkl6^TJxA$jj]ihQf(m^XCW `c-kyC~³!g2|"lMfvt Qv>3{VG!&f|q=mARZ Q+gQ@ X~d,R)EȏV(N~%{qU&MZoq j+4E˕t`mv4#N,}d?a gsjNߨo0WZ_[MVH]^c! c*BSaƁR k3WmJli1v1xd.Wkc;g,$i@2^`Y3ctpn&xaG ;e.%A9[hqOn#en-vZz0&@chPl.YxEu1~K,OZ$(ڦ03\Y2>G)N{ ~d.МɢX8*ɻ[w~n u>ﱥ,{%^*&]@gnY,!(E/kI<%因BAh\oU6}=ŧrz]'e`]PHpCkcIgQz<\W>p}y(>=x*潙j@Pg~NcճعG 6=WM$'q~bI;]՝nHv"űYL%)^Qĕf V b(ȩSJ8sBvkg(OL$']J_75mGM' N)[T2>:U4wsrPػx=n^yU;sqE>KMgYZdf84662955b80ef0ce4c410eb528d82b404120c3fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a