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 WW 4 w Bernoulli:threads=2elapsed=7.872cpu=14.272gc=0.376factor=1.817zXZִF! 0&]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s/Qpl@m#qͻL,>kzT־䪁=sF7Kfd{I^ #n{;_POM9}jwsKQV =9 KeR/ 'Ht$3&ݥfL i6<,u=k8ͣ۳+ŏA=Ͻ~.Ѵ<){*Z1cKJ`!rط!A   Bernoullign k%Û& eCTޘ3,o8#TɕuumBU]<4ћ;u'h.ˁ?吟fEL0mI5aG)Fja6RPW]"A8SN@'+3Ÿ@祝*[5D-%ӆT8}om2M2J߱:{x'7iȁzCɞ87-Mnvx51_k axx, T ߕ5Npcx~[1RԙFgv5-TZ4!ZK RN`)[HOKFʏekDO.}Op ]d<%p '[J\:L* KhΉ)xq"DVZ!{ [~ҭ;1'P4-gcPQ&Ē6fUT6N{bۣwxx B 2VCg(~PNX/ŃV p2ڻOgֲ,,ː"]J%\SmrXq7`a.guФ5j?3DŽTIakݦILd:t %1~^M2 `ޖ  oh=`gYZ7zXZִF! .T]ŗXi%>?TDvn;Es H,*nB [\_u{s%+jɛhd~I6l>K8YzH9BCjbu'p]Ue՘.V[͵KO[Ix>xPM`O0)f_} J²vҫxA3*V6W Pw`ǖ*39㫃h7UuJ|޷t~̒7[BaKj4U#XDMegb++fa>=}YwAdޯW hN>nF R62a-kxqXAV2m̿d ˝n6=lTy쭏T,<$v/9|ay˜"[!:pO J<x7ӓM ŕ_1v>m>o\XoVsǺ!^v5zqK~h#g2KnniƊpt Z̪Z\cȔ}Д6$~YEvBȻqHh |`Ozy6j;(?KtV[oHJ2lh $C/4{[uޠB=S2hAxk )>;\E;jAVpڡx~2rY|קP8$$Z !FYs)T<@aD>E QT̏14ϳZ?z{ub:zWl~ 3p6a17)ṡ` !јX_Ja_\]`gYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 63996b18a434731c4e83e9b8e9092ffff29a55ea a570a4b08861e318de5f427d11f5de9206d85eb1 b643d05d50864ba0cd5d29b7370becfbcb3726b0 ce9622447b37ca4392b5384f7e5b0cddbf2a6d58878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5b529b8696e26d1affe58331545ef5efdf5192d0