SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 k $,< ] Tycon:threads=2elapsed=9.451cpu=17.396gc=0.728factor=1.847zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`f~w{Y;kiͅ?)g} ȣQZLil yQyMò,1ITkEq#I,Q=gLȅ04F-|62iK8ʮNlF IϹ(]y d T)u_L d:`eOBKўn';}wKt}Wd%=WHn&ݠy?cj5J˷]cvEïE A |Ud!(YZIY}=xMomQRr%h|(J'.u"L?QAaxVy LJ/n4uB"o3st0KzG6a! +%i6bSgYZ7zXZִF! O]ŗXiɟyڳεĬYpaTЦ׍% v? ۢ,O 8LNiV`ܐę1}n_`bv3[_BlnXR4gƣ}=^^K +( `vlߕF= uAo @.ntz ܧ"lD&_(+һ?D_l|?տLhG d|Օ"g x};48EBS-Y"QMR"~V"w(-^|%j]j'r nk lq`8rn=.ItӬ_oy>'ExSB|ɼhu7ːmĤ/]o6A-h g|sX앴 .J'޸}@E]bݱ"u%%֖Z{n%&l [_udq:rpȍ1 ͈ )aYfpd27$EWٴ\ SYDӤ 8O%$[E`,ru$"fl:"R0dM݂o7H {DQ7Ւ훓5fc[m|;?†HL¢ed$_>U'2ksr `P d񬍵R{CP.zЋdiߧyrx<ON88$`"ۮp(5.쌓 9ČSX:@>;y P1F^cEk_Ba$`lIFR:%,sg=e衐LظP| H*y1pv9^S\3=mqΆ=|!}Ud1BgOO{ _U ξJb55;pMl,ZRǎ8r+&l#)&Vˁ67gYZc4c45e817a8789e1f07733c18f3016cfe7c71fc1a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 8f9aaadc0b4028fdb119f251913a4fe75c9b47ac  Tycon