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 - qPќ>_F.Nm-!\6绶TomkG&H_wuˠ)vz\ljEb .vΟ]0<(je;1򂪚O2acifvP}E & r_ >1#G䳖z؈D9׿0@!`ul{Թ[Zʙϳ(n?S0X0 #?_MX"%-9}cdS|ym$ 6Y(3F7 y݈i=PPzaN4#Pr Ϳl٦0ܭꖤX$j70{MBm}BD<W|jT@B69w鯒qf]kU\YgYZ7zXZִF! eb]ŗXi%6mT>ބj[71"EbTnQ"ۀ]U=E6b)ж duhXʼű҄@x^ [!rη(s{L--[p5| Up+!x:@^7n6A5UmWMgfjKo3 ]SE:uOX}Y"~p Wҟ3W>X_'LJ<~Bjd:ꪌqt&3 m{ve> ݣ }}/N=fXniP,;-kC`O6Dexp}i+&2ͅXuŬʱ?dܴ۽yEbg 0*WT 52=4<Ha i== j E@E q6NxL e{J|7*s=jI6[1y9CU <|>G"!иg8qXTڦeF EIMgw_Ąi<)'}.] &lYX.uc`qhP `˓rʚ6-Jvb&eiѻQ87I%YP'|:ܢ/b{H s`kWQNm:7_L]4#}NOɋ72 sP1;(:02} Qr>2.ֶ5vRv07H܇6*_@M{/(Ռ{tud ?x)e Lҫ/ R~¬ y*g'%f`ж>ãALv^ǀ'Wk9뒉TStwM[O+h{A UMÖ֫Nn "k 㹕Q25/ui3I0[l@'ȣiLM$yw}I('O2q/_D:L3ηg cC A{:@,ȤǛz&D3^'3i\HAW\L" ósY]ygou)d*#>N$>vsUX(-p9WD=e=&GT*3ΩoQۮԘ;DbP+2x\RJu^ |γA現.cľxQ~ySN Ըd.΀