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  l ]% pGCL:threads=2elapsed=35.483cpu=67.672gc=1.960factor=1.917zXZִF! ]ŗXf1-/6vR]uY*؉MPLo1,ڣҢ307 VJ;s`P1kfi4K/ii:&2'[ )}[R/4,JG"|ӛ,_H)ji{'6=+Ll[ߤRx&Z(x9h3I| oeSO'P"k }睹x˲~,5E` _ QDl/TpaSsAp[8)ae%(X_*mMja܃_z^掔MY2Z|vb!a7}$2KYS*@?ա Jݣ6Ɍu!G   pGCL=`SD;Lr K\4 M;!;|J&#P?@a!?X]r|zXv{ļ2+0A`>.r.( ZKX>تͰg~`? ݢ{)Ƭڀ02fk=2sIB"jw oōSQ6 gvrYɣ֘jkѰD :^MD5 \twݚEZjGqPQ=>Zfv 疚--hx}4}9 ZA-;#adJB;!;՗5yFp+,3if*jZI@'LL',i&;ɨ'8g>̣j힭-va-BGA͖;NA=}}Ҫ/~Z5f ЈՊc6X)Wx[]D qc*LGZ`ŷ$(g6yB%(4:CQuNLS6,ԱOiay3釒 oo3Lj#y=IETbt=$1nD{8U1?t/}nղqȒ_KM3ҡ(G?2"@㜤Pʺ1cT`ܛX6e%HC=EYlt"ǥ}Q{7Q#?lfMPzA*&zGǿ ͕d>|r+:f`#@wS6u}YVm7X[7Ym>t㋬Y{Bӊ3}TJn D_eSm{¨e9?LrZJKDa '~-; K)9s֍^, % eҶbY}̇#hs\BF?U՟Z03iɔ]Q#=zAFMC`hrZ% _1)2A+4+OG 2}aۼb()\ZlM;ۖ3 hw̓'׌ 5ߧZPCPHrr/eܼ{V7TBu3wt % ; n` b%?K~Im3=>F?.\*I|:Ŭ\c FI9VK*k#Ɨ2Er:7K:H7k+V`N%Fho>{z2&N-ʧPҗ =)9!*pc=ZhtCH8t+i?glJ?yq939VA[8ǧ7jN#or/Qצk౹ϕ糍 @V8 ˴!44HΩu1nmW㰌 m[x~IsE!AW˸I3Ͻ{p==[]*̜Gm! 3skśB|8"OxHodȁ>(ȠhuP>;תÚU?з[d  \Q{BG+sN@ү=S\4 _CXkzaDIK`.o6 HzQ|_&,R7J**0z& y@T|3+ Z})ܘˍ`L`)Ku[BK+܋ >̳9>cO)2?>mmB]9r'=1)jR(hW"ꜗ &5mƔjPag'2gz2?,3oɁaC 𯇌lRW(>]zum=Ӣrr-2 g+K:>5 _+BcȡkmT?%-HpiVa=%_ypz il#2{Caȕ޸ea2i$ɼF cߐhuEUJI $!߸Cf:Y7D!>e-n6qBsrEB6w#;+tb׋ ߂vlm"Խ- N#Z{]G{tߝ0T-PQ_[f`=YpY?xlI,yr NRo/"BK]HnzOmc8ewauWfj6)-\x£YM+su M1V>6SuQ 郼̀( 4UβVjJ⺫L'pdgYZ2b02ee378250418885c5df5b7c7e6cf60a38b35ae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810