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 . dT4 ]]]ZF:threads=2elapsed=24.234cpu=38.820gc=2.332factor=1.607zXZִF! !,]ŗXf1-) enȈA"XxBT/'`a^ѹ/+{̮/CNHjM7!ކt)vFڸwlIdǥ` C86 $?$DA?̈^ ،1zFge;%#ģ#PYal/09(ʣOb@4=)QI}" aZe+Vn{Y%tN-_^ƨƆ^qL r$|_8n#_""xK`:jX(V]YDBX6EBQSQ =h\R/L&rY cS[t@k' īe h['qH'W~.ǰgF  +̡ri0CJnc8SO8==BWx]SoWv2Ogw5YȏIЮO'cPlW:= (Y9>gYZ7zXZִF! $]ŗXiɟ 1FE`穵$t_.5+ss|ldԆ DZޢmL:*Yw_SN_R: X2Ls眡{ hM4&>d9L*SBCd"$"l!{pl2,*npɢO%,Q)̐k9! A} .?`ZZ9g6q/ȣ\)2ЖnI&dgc{@Ȉ2[*Ƴ7BZ$.KjsãxEh#;ax9~^7#Ql:EUe& &\ ;^q_VPd)2?)Ug~`LҠ^X+]]sW͛Do/,+eJ7h2@}UAS3iMbò#97\ߡsuRUDEn@ 3cp:"VmSW HrV|~ xh܇A.bGC:8>?t4-gBgYZ7zXZִF! ࢀQ]ŗXi%; BX1Ͳ5蘜rTRua{"f8{/ŷKvV0-{Zɏ6m&7ݯ1屝iWvV2`h袋' }Z.] R^ %YHY9u(v4>!glxdVfEl*DRNɷl+z=51-q$0LRC6@ y(@![V#]%v<Xhwi'FGY(E3!)p ,A'TIW1DQ=L",K0˿}Q#nj)C88k'49; l#fE1~;!q Z[MUD?ė)Va{ՔHT?[jH1qX&qԝkŰЋ\10R}"J`!IƚYj? 5PA jNSkRg,i1"g~܍r eEn+A%CuWoFKon똗Ibf)AZ_2S;JFpS_!%M~wD\8CΏ;Q< )bf8YhTC](XF ? |#ĨNvJ{"B ơ[fX|kKD{HB*w_5%ƚ-J?_#tNEYxoj N/GBYS),< %2fTy fNI "W!F~262f'ˋA/&C0 ;n)rqI.zEGNY~R`jhwSܘ:S &.iigs2DnnG%IElag=V3&*AqgGv9vS.ou.sR;HBe~+56ÞG) $aGתfrشW4B],!eUyG:&мCORS/ǹ)xqyP<ւnB) :+&r7XYȁELjRRkJ] ]'G2'^5wQRj4oe\: ?-']޻3j4BY1 @:samț~Ӄx2:z/;RG}n/]6Շ]FVzxm}Ϯ3RBm* Nj57ξN ' sYX[S3IOeOSxd /nZ=EIL[5W=Y;8^fF7E2CSt\6Sɲ 7Y\]ԑuѬ |XxP-9gDsH;OpS %Ul,2:y>d&n>UGmη 0xZZLqչ5Kpb4eOبm:Li:=L|?c&O,)EuX nRLfsNގlS br/9lp륿Fc/g./L8${GH0I |Sp~q8Z0{cv9N7ݕgGUf}1) S ~ɯfM;A.#-G$o&gYZb293fcab65728741abb41e8445d59e7d9a981601848658d617e1d31408814b70d854f0969b4d3dd4fbd58dce709825e9bfe69a48407d491d27a953c4  ZF