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  r ,4d ]S IOA-NTP:threads=2elapsed=6.724cpu=12.740gc=0.600factor=1.897zXZִF! O]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TpD:E+ Gd"'&a?0۵gEic zHb 2XZ# uپ,![.duLv%sIe`4T!e4X\NYSurH{*76;*MYi7Zs K)DqbK&…,]@Om 5 Xgsk lكB1AȤ㌨L5YR(N'L(癣J?@ gSWgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(݌R0kD yB$tDM#:NE3=SR'n3_$Vo&8Fdo -RX`!eTlڴF?7Wujl`>γRGqJT$T֦;=MzN8-;ћR\=7 OL4F#=gYZ7zXZִF! !]ŗXi%>V[:\A{ D7~ď IQ)yfc7A_rQو]߱),]G:!ybhTFi$ߦ,+m\zo?xjz )#|< o+H.20:LR'.D*R9n WH`>BSh{yء:7kBѬ)kY; "sp-/K)EɤkZXC+믖lYw^5s^aus®z})siCy qB9 bUUk.RT70b IU8Eb%[ᶋ^q-+M$>&dԲX#bڈ6Fo1kX$f?156\,z>1(S 2]>ogK[P" "<מ=!)~mR—C.i#[k|~ozÈ2Dz $0MRVLewYC5X|NǫMLT 1D]}XW5D[%UN賚[H+(2E3c[ڔwz>Yɶ[0ɰٯuO\HK