SQLite format 3@ .;  B --?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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info P DL< ] IMAP-CRDT:threads=4elapsed=19.912cpu=52.476gc=2.228factor=2.647zXZִF! +]ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZb+cW( [ X* 9+TZ=iJ$g5[.2pEf%0 IvN`][[n8 Svzegd*ܮCSIz9An0m5y.b!aRM pкwXhʋu`K[|V1{*lY^ɄU4GݲǷ9)r~ W I3pӪ[1-,Ojs)*N|9ѱOFAf7#u%T pWb@i9dïzZmvY}dק Sc<L^0ێ~`B-[2HZ,4 ! չ4-6$Yt BwW0 yaPcc%Tr Ho0+9^ ڞ& I*i"!$C/h^6YޡBgxl{Cj/ jqvגȻ#h#CX]e{o~*|̂=12tC tT?j7|&zyI?no#'A핛j.a3AZ`VùX,)Vj2.Ϊ F൷ LʜJ}H;@$}4>p c.m?ff]>?77"wh5Lu4 ܈W^uP( 1T>@xFg\~Q/G"w$sߗA-n}HPDXGo`kk'gO$V6,Vo gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/1fvKnmTӌo!%uE3^c?dVYKq)kmbpἒ,*'T֓В/>w0]IJ> eu#eQyni][gYZ7zXZִF! ]ŗXi%L qYb794=VO<niN4p8Q8J^eV/L`ܩ0p fM?҇^N\Nt:!CV Q |Y\D!L,5npʗ/v1؊!yVӌN7ȴOKbU/>t*xZKӤ{_oGyEMMt?]+b٠ɢzx$oSGd υ]L{MJ8@7S%NPtKb?ishҊ]-8`;JPh{USz3 &yVFFb QQ=u)hME|!;$c8؍A9 =bV?IC~e F ! GSo]H˜5$: `=sػbB-+)jj;&3Ss-6y {VeGխ`im/vik#|·"/sx@-d6B֮^JL"l=\jձrRO0?v=0_46O6Wj|/-G=y1>QKˌݙRz')@O^aɶA+/L$t^2ƙ{v7y=vPY^}Q/̚'Dz ~200\7t|݈DpbpU$R J\Ȯ_L^Cp̳r%Ń0[R<#!:T k3N҇F,c4΋ ⪁wG'3Vhl߼ٹKhv\%bfVUm;\ƚQ6GTo :JʁzR r)>f8eNlr >eO:Dq4a<}mI{B]8ofF3#W2AJ&VbNIR+*NÖDjOs T"OzSټyv&X/jfaaB42}YpwRJjЛ=%PEGO ܅Ґz~.=_"}UnƀN}n\}xHr1ckFhVĨݢz"=k^W9Y UTܟM9ؒ-H**S.4}~qX0^]Kw s{zv ^+̳li M:BqhPe76vAQkly/6