SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 JJ3 | ] Category2:threads=4elapsed=9.979cpu=37.088gc=1.956factor=3.727zXZִF! +]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~a| / gAP^kIePA*ÈM##y<Ő]_P S3`ځ)2< {eW2嬻g)bd1BM5m,"x׿%MJIpW afe!F2WDn^o@\KŶ" ectbh.}?qM%(n""+ChհOPx쨳a6蜿Nb%(뀽hg& RF`T^12y^~I+PlU@ @(ggYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAau+0I=lT(\+.W'ɑ :7?\nYՎggLM>t&d `nN (!ƈYaD=[,5V~kfEfz6:4$YOv9MQJv.*h\PQU%ޣ{6G^/L^wpج/L$Lc0_KBzаT9HgYZ7zXZִF! V]ŗXi%GgSyȁcyH.e5$4bb?{v;ı)Y*ץ*95{ VĴnZN,;͆ 썶^gD*&Jg'+CՉŁZh&&WhMNmx{3MoHyR ^# #%[O_rk`:B![9 P._d7Sf֗i@ nDu>HZ#o_Ck]%[;CB/wMV vRdP0+ˈKM>k*jUUr}X-KzV\,sYȆ̄q-i-U!W4#ޢp5#oEh? yU|Zxwd>G2( T;JڗURv yk\7{V҅I $~3eV9_&s(od̖hiiКvX$}0j2Mj0jgln:Xʲ ]mXMbMZ"" P鵙:g.|-D&/4ĜAd5߼ު]ڭ nȅƞT*o`u'.mUX Cf`ɱ0"_(rA`+Ci5nV <:L? לNz>NprWFAiܨU`oak#qB DAp%t^P|[.=[_<#L`/2$,Mψ(W7oҙ>w:l} BD۫*x`3bִ{:w[%vᨦMC=aˌ1xka~G>7>TVC )ih?)aDn7"ْǥ> nPdw^hy$d>Ԇ 3juتH >:Nnp׍R<#(=avo@՟u_qK'uJްD1=tb˷)CZ g,)! 57]#&އ1ZC;0֚J z"BEO?3u.=E1I p$)}|bfUN3޲̊Z._uΓ U( xyn )t4AɼVDU5z#L4h b (7 aSFQU1 %gYZd658a985ee03f98a371f4e7f47cc069470047b8b1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be   Category2