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 }} LD ] Datatypes:threads=2elapsed=46.575cpu=66.556gc=5.048factor=1.437zXZִF! []ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hFtxf$< Pq\aP5#Nzae<#)eC&\kAǒ늴.#V<=x|B{9R0}NT ;Tb D\jN!WbydG n\F1TaE\%!Z>S&#6VV%ak>Œ衵.Yfdl&2wz|!$el,QNFZP0Ug|N/40 L@(Jv:̈́ :5ݩ[|`EF] ctȊ}Q-i{GW!h0،5U794*P:s4m l7%$Cx*Fwއ:WTљ Əu{ܝ48N1\XE*x )|σ׶.g6G)DƵuNރ;l" K˄ygZ9,ƮAKyxXD t>~0 r@C:/I_9>%lo?:=N7~.L2y-~E)^"rS X=b2.t!hgYZ7zXZִF! \]ŗXiɟ&zLoggV“kxOpx xsTXZ oyIqKaoMެ4y19]K72lsk.z;=!ΣԠH󀖳jL[f*Y_goB} K\|m[E| 㰡R#f_=3scKr%$l|sҲ hEKb(qMYdx_))1-mt4w$(t$,ZեATg'֬B6^k+k,5k߷9GR.~8G/ktM؈Կ~DܨO9U|s;j;Q w? @O}):JZE<@y,+c\g}"#<${|$BQ֙ސ^,iXFl[ I~RX֝궅}>EˮsQg@~H9I>Ҵ}j}D pЧ8w-] 0;Ht]zV;$l;J=0a7l@K\̋n,#* dq Sp:N8pkPfyӉJ[R浦$Gor{=p@/.E=֭7aJSZjUl\24~T WCBaOɒ:2;BlBKǯ; ܯxېJ&i"L$ ^:іxg`n~`]Hg4W>k d𬢗$/g.&?Bd^e;:p9gAL#Q2-.R0= !T) ˯oTMq] QmTmȳB,afp?{LǴmd i±w$HA 7Qkg.&_Q:ݦn9v600^S]`6eG 1cMO*CM4«GX&uKu٥4n8M`PGrpf8c[bCbEsC 6@liW} q쀮 ԕ~\@.?o@oHz]iP̥` IޢgYZ68f43b097898421d939cdda0083adc3fcf5b1ab619126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 9d8b4525c5f8c9207985b4e769e131de60d4e4b5   Datatypes