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  g?| ]]HOL-Computational_Algebra:threads=2elapsed=63.516cpu=115.240gc=5.224factor=1.817zXZִF! 7|]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(z Ȯl橬 xUt؄a`AB6k6d ۇJ&}:&^k̛gaQnxgInH@G^9n#gPcl63piw"?e3l mT|]#.Qo|5[֬IL[zyȝ\.%o J t\g?-Zǀ ,C#3edvNɇsS Em.뗒ğB=,8LJzl']K!6|On@پC@̙kZbf4D͙8pndl¬2V&^-qgaNPɐhb=qj~vTEoBr UK͘o8;] ? HOL-Computational_Algebrao‘kee!*I ad)\$1a26+ڸ@[<&׻ B 6[tPA[?Z1^\{ H0k =OLπrUP8by(c~I5Ř1̋gћ!MNJY:)ai^/2$##> J]YuѿrK>*sG:z~HVLRf~BH}(0;kBgq:*Dy_ *h7:_ϑQmLq3YP$Ra1"&r.2x~V>jp0b?7` W-Cu. ot,EG,;C"aҝ (!{>@42s6\ⴜ Yf f>:*q:!elQU5g\ &Wu18NL] WX\9]@WBi[kn'KhU.#UVjא!gqѣM'Ѯ THttj` /Q&/%/j}kEِE l6|ڝ<-5M`"|CZpfʃ862eSe~wA.\!o;12EQOz#B{;Om X5qWW%'O}kmOvKހ(JIҰ#hrz{YN0L@:<:TkVRY꣉}_"&gq-Mys+$h7'挪լdK&8腊 ?bTжtz# pi|d9 iF+Jo~R8vd{|Ju4#U 1˼p*ᵷz|'*6>^ݰ2gaH!OQ8T|uUVyo \y޶>A2! 2Ұ^/7s7fe]c( hLp+!S[[ Sڛsy<&4S 4< 9]]I3E`JqքoP:8d̃aj!ᗤ-AE$UgRU;tZookCXPo|gny";H?;չC4n_C29E?x𴺒v r6Tlq)40Cξ+, Ls܋ y'Jëv#HkbKrhS5LGK-v0hcA"9D%41]/_aQX٣']k+s`JJ@N[[hB]l94vnUGYI~F̃ٳ(oj.'0 #GI4u\I+ 9?| d۰Rv咕L=inwYAq6uL z>VpYzQV-a-ht ,ЀZV.RRxȑ]hEq};cx =@;F9 _J%ycBxUo^+VrVLaV_! T:&G ^ڼd5n FD2q ++UHJz p4pCގDHN'Vw+)\M\,c7 +yѤ#+$UJTZ垿q 7@esBWlM\@zY./JS&]XB |Ng&  =m/` jVTzk=. 9$?`%Ԛ2>,cm.,r< }suy?P"ch uE~@sGjai+W C|+!<<{cV{/^ .-xCA~@h"V_EZL@u(j_.E8*"Z / [MS?3>(N.j俶 \$0ډBLWzTs#.lby';hҀb3XI6e?"98/M\dp|[>íoRU_=q,88Κ*`Ji-!@;FX} )lN a:ZqZͦjC^\2G3ܶ8s wiGީz2+-VRqj`i>\]kMqWld:u*H{*rndy&3JNL <~ "Лۯ XĴ; %YN ? d:\Y/V#Gu~J%@c @JyWqWS%vntiw.WcDŚhby 3!1gYZ2a900ff6d9ca4b04c19bd5afa28a4194ff0329300a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b89fd2ba49311f544ed16d60b38e1be4fe427c2983