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 +l, S/ Ramsey-Infinite:threads=2elapsed=5.451cpu=8.152gc=0.208factor=1.507zXZִF! m]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S:{µZ )BCVzcU-gK/.= z߼J{kȊ0"8+ti eir x;(5J0Qܤ-o#9WۡhK:C5~| :S3߽Wc>wammXW$עE.tYV75v8 Bn2-nT6fNc6O=*_\cuϱJ? e|ÿ߃,u"Κ8FF˚`Hd7AG;XhKP+RP~{!loUy>h`S8mqY~?21 hrnҖ% QsHjR}EA^aB~=XvdK;L:|dRV2N=t;飬-xZ9̲`ݽʥ}yawd҈FIJ!ܫr[{#́avF p9OEڷm]pfH9$x#/Ci('wC46:xgYZ7zXZ + Ramsey-InfiniteִF! %a]ŗXi%m]qÂz(}y$KS Y'k/nܪ-@@ ~ zøc`zӅbv/)E7hK 06~|j7ſ'vrH&SozM]KU\(F}ijt!.bkgNS5 sjU+geyi>jyG:_zwo޾ײge=E9!]S?}~W΍Gdw\Җm$5zR_"$>A4ΐu9lXU)ZBhoaz [~V[mz=yIR稻,:#=֡l0.]zECI,P0v<-+z Yll݁ 4/ET[U'5^GZoҥEbw-0H;pGB,A#lPƎaQz,aD0`aTGXI/9q-;mFS$69;4$-gǏe>l9GRx;#%70'ĜWֿ xm 2?g/nH6[?DP ʵ Y1ۚTDg3 ~D劔2INs{|\ T~s%X-OU5u/ {n 9JHkgYZ6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 c253f6109cb60c8954cd4c639e0fd42527a79cd5 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d