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 ]]1 T4 Y/ Concurrent_Ref_Alg:threads=2elapsed=10.854cpu=19.968gc=0.400factor=1.847zXZִF! K]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬Ddմ8zcΐm'yfL&ESFMG X8 ~Ymޝ$7!,;)%Ew`O/&"@UƪLy}]P[Wش1 #@_{< at jNiyV,L?Z(kW:O_3d{â5{X=]"{Gĵaep3'aFXK>`.ջx '?3BM5FKm-6eN<j,q<}߇<+8dqIb|.:k2燇T3Ҟ FdML~5NEKϊf!SJn6>͠>s12f[-HAvʭXP%p=nE|k֧9wL}D’J{KYMP8xp-! 2%FJ1F?"%"4,1>7u%}$ZЇ }ڱţX-^2˫I'0O=BCSDYLq"eHM 3e o6s`l0N%жcЦ^Bw(nq-g]ފb[b χFQS=*i悏vjg3 IaMS7I/>B/ F؟5pR8sO*DKYrWOI:mBKk@_8%u;IdQɗ4fQ(\/浴u$ FV%Xl5WEpaMà,o$a68#ڞk04, AZĔjz4#"2UU1aFfr BgYZ7zXZִF! ?-]ŗXi%m]oAԌ4 W؅np"V shkuAU4rwY2hND"q|r:gk[1Sp'.e_80L"ӝEX'fäoɰ7SzʡiG95B.ЛvRߌXN"-ɒaIG+άB3?KGO$g  F"rB0&d`)7kXbš a †H7j퓹zo vԡ7D= kvvXԄ\ F_&x٠nvT*A u` #0!aXqjHWd.ӳ>1:يJ"}A"soڊp5F2:ݵ)D 1n` X4h}rm1 ?Szq2 Tv?Γ!}y;,JՋAM¢f\J{!{Vй/)I%6Sg D-sS>o1R,KISmQn9i,\Zm" !̖}*P'Ww"_g9DՕB%"H[<1}W?˾մ^^9 K~/zYɯ-:ORPw]ExZMX~ VH Go5ɿ't1 VQ*fSL=j M.u{~9PvS`+y*m8*iau%ۀ,&"t*Th3+y* l.@bRy#I^%]5l{{m)|q;*[N;zU=]\ wb @)Xb< ~4gYZ002646460a812c4d5341ad7c17d0a781d7236f33 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 1193d7241a92d84c139b643854d230bc4061d46d 241a8797f0073607263462b1c07f4cdfedd60c22 24788100960d5db04ab825d4df15c8efceadacdd 423ead3bb9c7733310cc2d44a9a25d446c18d2ed 42b190c2f409ac88d2f558c1a85214b7bc7542cc 526032e1c045afa7cd8955f01fb6c34497270ba1 7c09ab90db3d50b72ff4d5e1efa12f7f5bcc4e59 7c9a26e853eb64897a16612b7c1f676061b06f0d 8112fdeb0851fd2e98ec7e0b67084d0ce904158c 9034e1129e58e58161eaf78e076bace889a5bfaa aa69d3a41c0d76f0b14876b163c2de8634c4c537 e01e71c22bd07a0062de326597e2f8938a747ed1 f009922a3345bf16f84dcfcb853dce5e6ee880c5b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d