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 KK& | %% Topology:threads=2elapsed=6.226cpu=11.200gc=0.856factor=1.807zXZִF! E>]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C | .p_MD'i`Bs푑A>pYSUM][1#Tg@|鲌HUn YZ}CH!9R| ri@#6{]/XDԯ|O] +3n[tX`ʍ-CS|֎|-^D۰"-!X*lY-4]Վ&ָAwUÝ4L^I,,Z{%B芣siU.FMK gՒfd\h̎,ܮY >GIkC%.>U(4Hq.6?[XGRB>1 8atoR՘#6JpQoׂa7H xbVE/k0VOIʞ݅+n)]^%R8VVoLIR(䖴\[ Syԇ8iB) BA:֔vo:?Tؼ+}ag&peghl{Fwi_ 6O2z<`7qf?}@ξyG$ {Wq @8i0E^qZZZɵ Bە.íʰO~>Bm)`:~'*q#!20Ha$7i=sƻqT̼BЖoF :gYZ7zXZִF! ']ŗXi%HQc16Y|Í3q.%|#"VV~6ǡ_dv 7E\\_uB 3ԑb,Ŭ8 RL!nGR a߭[֪c%EV%0F]ŷd%=95䑥 ϔ @ >dl.y  `ɟ" v]r!ƺ'ҀcGHeOdO5No$O8-jSk $0mS0` uKFW~-q6xFh!GLc44a0E(j^tNPWg;~JoIL32l6(sm[`z,GjBݝzQeX:MR 8W3.zP )ƒ)iu~*ض[CVZm.A^Zԏ$P0;A`̫[}1ƻUd)bLڈ]I\|1>2cմ@>뜭[mrƣywswfū ƽ>${@N 9M %m7&|j˚;C@L ac}x&;#G"^=ȏ& ._5ud6Z WO6ϱgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f22258c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a 3c49033944873b457d9ae62996c629bc24b1ea20 772c03cb6b40cf48e0d01b416184004ba1fc1286