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 8) $L %S Dynamic_Tables:threads=2elapsed=8.397cpu=16.368gc=0.400factor=1.957zXZִF! ]ŗXf1-/6vRZaK Zf 0kߵDڞӯl.t>PV6 j:݉;}hЄ "BF`_*fmT"Tǹ>zĨv҉Ǒ)wP9]Pw;)偁84nHd4g4Vٜ՛99?m0[?9{xj|]/]&!M]3A=ĖbY`gf9^>C7Ŗ'J' "4ſ~ KH uWs|k?OJH-yX5iYl%OuYeJYeB))lef(<ex˥yvVE%gYZ7zXZִF! 1&^]ŗXi%6{B,&1KFBԕK#oԹ NTC!6}1I-Gl0pU",6s~U %IJzI@Okq-_$bMO8bHŴWX{}RoGb*B& O$!cl+zy }#ҋe2KmTKPO 8@،EX^r ǺK _TMYŅ pR[[D4w657!(Jo'Kmv܍(z~W8V9CIi(8 v i'U@j܉_UEqO`ZRs_~=-Q)E PHGzHzQ`+t r7Y{x=}O9Q*ԉSw@0"nF(SpݫҰRO:9}"t$g(3;,wG]aC,'qPaW7)Y .R &1iAfD`bU48QC̹_&Uȷi3rleW[:!BZDBօ̃>P1BݓTD*y oᨳ<އW15 vFB<զ