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 l/, ]/ Dict_Construction:threads=8elapsed=42.001cpu=71.319gc=10.622factor=1.707zXZִF! ]ŗXf[& oo$q;fOuy;KDt; qI ~ ,#O+ ^gDG1d{wԩnBFV3pgz9)p~4t"џ / Dict_Construction  JoC07[PKe4 t$HPʁ?0XpvO@A TL/u½n?CP0bC9EVUKw!-pI'Yx5ip Gwbq?zL!ӯoCDR&*.}W\HpE;٩oBZ0 Q,a]V١ HǠcVJITɡ÷<ҾIypu .I׉&E ma >D8Y7N+<ǘPA&pfC[wļo2E$`+6n c62ʣn;#YohYe3ZmeQYj-LH֣йk,Q"(Wda&E!4TΧ밯W|:f3t_yyo/H(^Kaܕ ||[#ؐU:ZriV߲vatsF&@2>#6ȓQfPZƆ[-> XlVNwC`tV )KAK{=Q*k1CŘ)X!G7Cd|Pwvtx8^*nعH;=EuI:U[+nGce+» eؤ GX-4 ܶgYZ7zXZִF! ؁ y]ŗXi%>t{-@-'Ehܻk2W9Ĕ>)Q)Bw%cT8+}ʭ(̟Ŋp̤asoǧx4sxᢢfPsI)/ +,u,Lq_pz]*,"2Wn+h{2y0O5LaPa;`ݮ"g),>szmPGi'ݠcL4L&v@_rߦ 5٬"?-YyޣeL ddbv¡+kLQ;LD|~eT†;R0Mýzܚ¾.3'~- LwOQS!Z˦bai7<Gێ~٠Rv(4'MIX"k)m%Co?p0Y$q*O)kI=)k :WAUl\ry ‰~O*I *^9 TmPm)W@ 掐@, %#6A:( '"T 6#?WoSDnF^W&NFV1ovI%3y+SDov_ %O?SGvѴjW /o^0N0zwծmz4V(?]]0Ί# ]PB사u#)6:E10;!HNZU(:CyMŭD˕u{BMh'n Yu1A3z?xHWo`gj;r-bc${cWH*`31dѢ Yd셨`딣חv,4l $q{0v?D8_IL3;x߽","t Y(}O;@fsXaVsѓgNE_Xca+]VemHS$h|R.O& Ngzu`J<9c6O .&[=6/2O M?Eh95?ϣR :^MmUY*0;v@ht{|yN3)|LL]^?#'Ө[/3alnYV AƔ܇