SQLite format 3@ . YYQ77Atableisabelle_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, "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 B1 \L Sw HOL-Probability-ex:threads=6elapsed=27.225cpu=48.152gc=1.276factor=1.777zXZִF! ]ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~JÓʷ$i- Sq.ތpeS3O]G8(օ |TB˺gZ%P\&ިo 肸q~DkޘJ^(!=YMC$7i"a] M4Eb8h)zTmg6~y/`8KI4."_7(\g N-mJ vާy& #,9ZN"lR7Ͳ N,/t2ޠh`Dia eG\E+mkE뤴:.6*hTS4Qc(!úTqB J$'UAG{&U} ߃B-«yv%hgYZ7zXZִF! ]ŗXi%6p TfC֌ʪix%"YU Vyd8Uǯ (֙?)`!+qdE!MNj3g>^v;߀>~RFYgV#iyRzKJ  qiH9P=ӿv9Ȏ^?/ iPOEĒ4ʲ!q%;_J7 [su(yȎ@rY%dGXB_EXa}ۚ86)A>MF?vC/LätGjL!,ٜIy")`/5[bhw"i-AWjpg2g,yтq>[(u Y8(TjYP,2@ q$'6\( (Y/N{#}r??!&N=3M:M '!dGMZk: ɫ|E9eHb:Œ&`3H#G$VoIIjHoGN塌T P=,c#;70xa݇lo?:?F Qg[1&oHCׅd^ a3C<Y(=bdT S"MTU3lucD?{+J8 ߭O&}~BW8OlQS=³)}DEHd[6ҥ!Ȥ&C]]OjDtOe܍bM|Ms:Rr1'd/JŘ(õ@㏕ǫ| ͱoFHs"ݍQ