SQLite format 3@ .0:  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  \4d ]/]UPF:threads=4elapsed=22.102cpu=68.764gc=2.188factor=3.117zXZִF! h]ŗXf[&:sFqX`xPׇ!9Un06N@M6\gg5}C<g{XS _ U::;zi<Ҷ@Ik -NtV)m`cqGy_lɵA B`[[0PZJQȌ\0cYK9GR~WJ+,*x] Sj@sI(EZJ-'Di~4.M;c^= 5,7-_eJT$Ѕ* Z7ԡ0Ž":h.IX ԁ%bmf 6!S^H,&㸷c4,;AhaM Es>N8%b 1"5Z%-~Y?ʀ6jn9XO"V$~D'YuY}Po$.OQF&?u/UlI; *9uqؘ\,GpI: RJ;Pds9`>fg&~欁Wn~ >9WǙk%v{]HifltL(u.Q1y7:_=|2pA#Үk'y أА(8HAi д}x ?İl}+k<9 zgYZ7zXZִF! ]ŗXiɟܤ#k0{/!xv(]m!I$NsRμknߣ gz:Ɩ4Z[`3b w3̿g3CJ%89էנPcٓ:ܮ5fO4]l]$rqAV,sL=ѾiU~K詾k9Lw yJknߦ-A.Pd}j%pFP x-cKwkO?prV< i`0b>n "(X[󚒉5q@BlZA^JgYZ7zXZִF! ]ŗXi%GT~^|X?gEM 6W^5a6.yy'',Qj9S/M{5Uw0W2ww'TDCyS Fjw2Chyu?rxS( C 5ȢimQ=z [%QjrbuPQhJeJxg$-S{f3} s;A-X "jb8z 8E=I==|mkrb"2z? ih% %'6J:]N c[[Ύ1oR]48f]߸} י{1n;A|I5}J1 a/ڜHco,+JaPU]4*:=Lb{O,@Mp83?v7ʿ\c/JTD'ޯ8w(|KlN46Gxp|neeF ihG2[\Ozv _/8ޱ/OrD(!q[)hTm`PB i,yHN&ӗN7**e{KC_. o$g?[[bj^ITL:Z 4y俛~8£/F s旝wN ]xeZ(6ieXs.<;ڡ;K"ӥS8Zf%pAيa )Œ+2G|ک'sW۞4U0$oYCdϖ ,b Y<$ner4Vrv;? ~*{15(:6BI5i&WJbF3yȶb4 $Xt^x@ XH^^FntOiVR]1"iz-5^NMEP䢸8IaA 5x+kdT N8U9hbA^mg\{LB_%{sg_ٴJq@ C ϩԭ2aV.ekX/`GG.˘_p-㋌ L8] ww3EҶ1t%ީYhe;IPC̋ː-.`^((]M* }uSFqeD1}{xf,/A(v6DW55[ѩBK#-* `sɂ-1_&ln(E?V$>-ϝȣ -[xX.s^T偗r#f5P%DYo<U%Ko o%;ܣ {7u ?J^D;QЀ_ke?KHo`|5r uty-z-j,-Wg9" "ߟʟn׊T٥GTP o j]y%ns20v@vCɾ- )M,+]kï0nPmu"25q{ 2Ha'ٞ7*;Xe`*wR̲zY aB} &Y x{ŒX^ )J%@@FU:U16kؐEV+UD _Ƃ;݄qTMNi)-ܢ ޗWxph-]mHV5&!7aCwE%V0_-7R|^Ik.) |gEJU2hzs-İӋvsޟv_ϧcB'WgYZe1789ca3738fb76498ef26abeea17c4dbc2d31ac4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2e01c4528eee40d0f435cac2156a3e436e4165c46  UPF