SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 77.  O HOLCF-ex:threads=2elapsed=16.141cpu=32.040gc=1.248factor=1.997zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`   HOLCF-exSqOoEn+ilfs: ;4`@AI^ߛ~:ϳ]|.s+TUU.4I e ϘWOiG߄p]ʫ^Q#q'5QdF%Ңk![`|tԄ oGs!?2I=`- 1iylK9% \s ya.s2y=ނxvHQxp!!T6֟V92)Vc>)5O7=.?I\ĝSWa(_ a+Q4B' يb[s#A9龉Ԫ ;Πf+JOK \Ƒ~ ݫeʮ8弻^E@$HO؏7No,3oGN91eo ( 0-l ܈0n)@[u[J)G75l ڟ:])fۡgIlap5RE*_ˑ=t;.]; Zd7ᙙ,4GPL\:{\Cu ~Qzl?'V/X yI"kſ?kr{zؑ- [ ODNA+mՠ(I @| #~)!>k17ASQ+3]!;!'g_5wUQ_:+~!Yoaa]pX{4'웯[ήɕ8PnLά^}hG)- /`Kd8׼IXrBcfP۵my|$Gi2|%_eIu&^;mje|這T_{_͵RTrڻ: cTrA-W;H-Sv"&J.*"5 )%$ښ:K lx=C@M0@ё\]{`c$EoDa},V<'gBDD^0{GqmC#Hy XF& O};HY'sA,L.!@ws5~dnhoWc1|qvf8bߤck#J$A K 0wT2 ~ =% *U]5@mLCçMI1ϟϿuyS"\# Rgf)Jdz/:r_,6\ia:yV}uQH?e`-y9o u@`5MeJwHm3YL2<#G4F I0( ȓf2@WRd?!ritJj>7]j;af {LU[DAGu0]q X)2q꠰:0b[BfKcU 믞4$ݣ^DKXtH"۵l |V1H{(<fPVDW ʫmEgYZ7zXZִF! K8]ŗXi%B6{G[PfJ1%j?n7äh\Yz8,ocjEE~7IWYf!ĸ"}4|Ԁ{SyQ/;sV↩s  2߯k߃;Bejː~G1=ElXNy Ti^SPgxI =~`eAlQON.# 8wy4ߛI;>^<IPfbvf[p5ⱽ[{m,_@r;lKyr]L9 EI+Fn;wF-OUnͻ1r R k$4hfVdO9+1 ^4:1W/oZ+'YL*D$jqK= r>7sW!Še58H897X/ X0/4~uy$?(CѭrF{3aY|)QRRC~7KjnxpFU.QwfhD~!MUV'lf"./1 }gYZ01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7 08579f6b90caa4ecef3dc4866fc245fd84f7c1d1 10fd440961a468374c626744451888997f31c65b 122f8e6d09550bea029ccb1b6e839f533d6f19c6 3c54ad37ad617dc2d861de2dab681f402c864327 68bd26874ba31f2499644d55df21046545285291 6b60fa0f5810516fe9e99e420243a974afaba0fd 6bdc50fd990cb128cf7adb75599e666248f91b21 80dcfca725ace97cead5e39d08245c26e7ed5a75 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 8e7a31346380d165363a6100f12d0ca8189408bf b93df0a10ead4c342235da5986353a7d12307920 c110105a951c4b5024941ec2a936350c947ebaca ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386