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 UU(D$ m Category:threads=2elapsed=3.153cpu=5.680gc=0.312factor=1.807zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝YڧUl{C͖mh$ϨȥJ'n/FA=qVA@]HU2:{``B|c)x[gR+3A8+[4|8%Νy}rxnKᲡQUxN~X~&v~p׃iEmQY_MUK*0,}t$a!{ :xTsNK[pX !SbDy Ǜ ?QqS34ZEEf~3\w7YKm\%+0%NZw/ۅ)AES1(\U8Ӂn Et ᱦ4Rt 9`q+P]0vm,YHD*N) jjb凅j=5NI:.y|:nQO2xM*B]÷&vj$a $Ka<$oza,fhr|2uZxhŋBf߆{Sj% " s" 8psVK%#-_z:pqIEǯaL3|IgYZ7zXZִF! K]ŗXi%q\=IV~e7i'%BdB>]}Zʘz0[,O͸N~qikӳ/5`%pq$Ƌ I"JfPg32")bI..~ץHA:jg4HX|Gym)rIEm SKP QFMJpox_h(>~Ds.΁Q[K]@L:1CcQ#4 k $gGh}v5W0̴_IMS{Q46>^4κɢiM= 5WyUbА!XɄlf)s/ ίJ6&L~Ug$Zu:!NTD짺-3̣xQeIio_;m 3c~!/1ԇhKf }7妒-=UC"J3'GLvW*Uv!/:F:p5*ʼHsp54Lz”Ԫ۹kݖKogl/ d'b'AƁM𮤪"xRHG}3ٱgYZ0ac37a69b62c2ae2d7301864fbca29946708188c 233c392cbe5f40f02cfd79a0f5a8f38442034bb8 34d25fdd93b2c6ee45726530c1f7d7a434d8e68d 536b6a631519903540578f6486061a3cdba3408f 72bfc743d147ef4daaa53806994ba7507e7bf023 8e59b22606c3798a933d493c03bbb4689fe09412 d82c90603fef2def7218cb1008dad52557b2cbe8 e13e12156d9c631252a0ddc2750adf2f5118977d f2949a2222ede7773308b389d4c7f6b9f1b9d598c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e   Category