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   ] pGCL:threads=2elapsed=34.741cpu=66.528gc=1.944factor=1.917zXZִF! ]ŗXf1-/6vR]uY*؉MPLo10t[BMFYc94N-V:*&UHcg2CM/$k4觝GlK|?c͞vW0ղB x~=s 95n$#w*I8{ c0Wm_ m6V6pm+Ҁw>o7>ɪ̄.ssȵ#lCݧ$Śnol3;ocvB A "a£WTuՊvI8S32Z2-!W ZyAT11"vȔ.4,\#PmH&imЇD~fvcu;.cgYZ7zXZִF! L]ŗXiɟ: e=o݆$:bmw^l<y#j&,1=35{[;yن064-*5R 9)Q"N`pRB"Zp3yѓzaOMG+Dܧb)+Gආ]F*␾Rdy/V"ss ['mz[ gP$zjʲ?ҀXڳvR">7OUY#RF NT~\hݐMt.˩B;/2~FU qMg)aJ--="Xhx#H 孑YgYZ7zXZִF! i ]ŗXi%ήu(_LE:xÚkٝlLZEVhL -HT_9|$ڿ*DX_LTC#܊ xU-JzkXa-y70{V5Z#= LV`*xP–: `ǸfUOS*ӴW Z 7Nqm4GsbvCiy3a/GV L"疳-[x&6U[}[K1=LZ3]ڜJP4g^ԐwEf6}Jvb+cޟݧ zcP{-=mh=OVeM( i$o+tv ,PuCгiaumVjuֱ%g$"##F *hb qZ@궦w_6&*)[ @u.P ؖ uT+u=ҐhBVۿx,dPG9_%ǽ`h֪ t[@oQ^u6@'VVr 9fgwێXN4` gmjA ?sԝC 2P7H.h/Mr!'{J=y*BCa`&s nu/熁\G qqFKW+?dhy$뎋Q"F%뭕y#v7vw,AWi uʓ-%0+$D9AXG~;+y'hN* Pi^^2&s?eM-oPmoɊr!53Yᱎlv!Q@3R_ s3 ^m___,K&~\ 0x;@ V6{۸LU q~3ߊHj?jlO>QHHҝeEu-9G}D,.  )KI/SZ1J?t.С{w|C36qş(4(Ӏd: x{$wȍU -No1f|S=l?;~~ғ;6dvO?>jl4CX*/}#G% ]E%#{1 (%hߩ߬5tyORNE{ ˸4uFX9drJ_Xa%Na 66 WZ9or\Ӽtnmս4`.4$D@ۮ#*lJ%X(H$fgI;@%˨%6l B>a7dE=Q䢗ɩ+̸f)75g5$@#h*sqYP x)l$m!½~{~OF0`'`\AF?VzcP,Dݍck3m{%ܓL+TiZ]}b#gVqXsW:ܮ_Yo6?#'Op٥>!"C s&rPXliB Y[0A }uk ɜ2/|M # 6jm:+׮΋.AĹk7{lԬ!ڇvJpۘ-AC )(gYZ71f6c2c221eba1330f16633694ee9d12e6bba15800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6