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 ~ tl ]/ Tutorial:threads=2elapsed=28.473cpu=53.224gc=6.584factor=1.877zXZִF! !]ŗXf1-"oވ? VòSE{ l› M;CX:Tw9f ‰7 Xiܿ.[3A98l7R(xsd kBcRQr}uM%% )' rb>}b;N)*7$@G=fm:($"/2NYUєQݯS`v&6%ljҽ'Ba/Eؑ)Cu^~$6gYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUhˊ z=?\"U8mCF(-Bd_C%"1?X=>M@I鼽.O! -3O E֦49MKe-V!cS q|ON|0#v4ټ{vCafM.5B%T ZUw҂Spp"DE љ^}eE-D0.3x&7y)5DXp[Ų7A}e=gYZ7zXZִF! xo]ŗXi%;Z)snDpfB!i.8=_DL ۰zo\{'^4g I)ȐDeMYH_,q;v,Tm]VVWA/qQ.\G줛&$Gta ψ$L2PϤbV 6zn`vM^Ԛ"xh*M&rKTM袜eum]152KA:wךq i2ɣ3w!ݺ(&]1KJDYzLon-{¯\ D3sOQ̔D`lEq,NNAti.#9="%>Qֳ&ɛD5UPUƘDثIV`vgbY!#du-KvKěSyyhOœPGh{WM1g0Lm\Q )sX+m **euġ fi~qdڊ+ VzqSY>Kn^Z%"Xc{!LV* $i7΃6"G]t<.,:aһؒ A܂Vjs;}F!UxĬ]x;S#)c=ڷ˶n @S8Q+}69q e&>~_P\o2"/@'