SQLite format 3 @ . .C B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Q Q ,t4D ]/ TLA:threads=4elapsed=19.234cpu=57.104gc=1.5927zXZ ִF ! ] ŗXiɟO}M:; AuҼMBB3u<rdI ChO>Rs Vfe2wQ7O\ !" !i>ϳ`?*)o۬,3vX6g(-iiCgME y-dRQ| e|3U~ [3YCĹ9wӭȸeIC|1rͼy2(\#A= O "p5[GO6A(8&UFߍ b'ƾ,;7{`Ve QwwEs-8'vlw;ظi@.s* ) *v$HUDh~! {N__8K`34Y88Q%k5TD=F&ɩ>?0&4m2^Wf]Ϯw\#uQ;ZVd+F/{мfV'//|:PWYL}l Rsvo^F)pi>W@VA].g"2*.>(]$Rd4Z"_v2,g) xLoGy(ģ/i<5MЗ~309u!s#2Mlg{:SA5!/IoK8m`W#@Kf|؊ER6/(.ĺѥ}Ţ;&45a4|'|&ՒyֻzL6lA}" wC ˬBc#>)k1ERH[&L6n>\SנʟR&AO'58*M=*zVu%4G_ިRUʂ \ "w ; [mg YZ7zXZ ִF ! ] ŗXiɟ&ݾͫ^rdì8~`8oӀcq y]'C݀]IRQW*S?^1`jHН A{=p7xꢹ͗8`0(l.g8R[FHjb9VPo69Zf 8R9lB)Akt:7+ήuddY"P?!FIg{:Wg ~1kn 0g YZ7zXZ ִF ! pB ] ŗXi%Nb^vI=}b^fs;K}鄷a~,TZi-U#XT/d