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 >1 $< ]S]Nat-Interval-Logic:threads=4elapsed=23.264cpu=62.080gc=1.040factor=2.677zXZִF! ,g]ŗXf[&xY0C1wJ FZU%p•kfa3(e8X# G#"0Gx`@fs0,!0/S0i@}Mݵ:{s 7 ZG-" 8r"xiU 1(J[8c u?;wA  = tżл 5C[ l/PK ] vPi u(-R%W oC(0t7o1WoTR5#m dﴉ[bH/NIm/_~mH,tW d(Q$Ԋ5!rc[x̽]׆(ǭ7Ѹܪ=v?G:clfsX6ڿ۝s=vRp+D,:޷cgEY.vQ{=I q`Yv K2&hjB=y(@wlyOVF6 4'm7!>:8|԰fI+puLG]Q e/%^Bx]mm&>Nm&!^j'51֢w"SHo9֋t"2xV7j䃓b.0DP/hegJ>má-/uXO6b'fk}N1{@>%Iյ|cǔ"BOhJ8ihG&XOIgYZ7zXZִF!  ]ŗXiɟĊ:4OHsS9?2N&JOQ5cTWsL h7 L΂/L.t4SC $ΠեZ EiGTQRgSܖvWhsv| 9;VWR}gYZ7zXZִF! 5 ]ŗXi%B:f[ͤޟbcO` (Ym$aIk)K}tR/pUf'HRg6@[Ǟ% =\6 -A%$5s3EB8|rSIw LTMX:Hr ^8@,5XtSY#/A(ث;W(0OA<:y}pi|uVǦ#6 >LkKuuoԴOlwBx>cDR[pVg#oq _?ȥsv_G{'#H VU&`B^I;x* vmNjo2 )N85ue5ҧ}]A9`AFN)2&`$ظ߳n3"Ӓ&ŦS$sc6ĵd aQ/oĢnl[![pDm[Wي M%kyVfC^ݸad=դ%junn%+[ _`tDg42?3ss% l P;jLS0%%r𾈼r xII+cd`XGki +Xl:KP#1.W!_`[ڙkڡ jF;>|Xvu ^̢"DLhIX>2Džuu6y +;@6LSׂ_0{Q@y)pU[G{V܎ Vj԰ J`8'V<ب)z=p~`1پ?Z o%#X9dztu3!O%A}\{@1v=NN|سH=sZ4ooF&~1LJQ+85=Fex׀#zr xr&'. E~ SֆJ1-8n:;]K}UpbuňdQʵ_~]ϽovT`jLDNR"@We\yZ cDxD:$(-q<_y/8,7[U< tـ~5\:,OȫqUjN 6n~*ݩEBxe\|E2"h$:`Evd}\j!"j{A !YqsV.a?z$6$+Y|bwu[ϖQ5.r(rp`VΜJ Q8nDҴiT(g?O%~%ʳ%M0@& j!%Aٹ(K$Rh? kԌ{<R$ nV{֡9uq_J~|M>loyC ;-: 8+j餯\ ,>=[AoF-*]F39 A7PLnj!jk+-=zHN0$ie,7ś sF@lޮ+?0N/`@ɶ\ m b-RHSGIByy`5].`g\v8n̚e;@+{2 36 H구6rb>๮[W^MAh.<{.B4v&]2Ŝd d0,=JGŋv=P*K)`bAU|*?<0+<4 3oK?,j{ɾ%_/~ /U:Zm{G4^J!x ?,!6_հ7*:\] a v+~p^Ca+<  ıgYZ53468c3a93dba2a0ae817aebe3b7a72174d7a22513f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 86f2e7a434165442f93e6aaba03eb9e151c1cceaf7d396248761cd3c7b047a2c608880510184da87 1 Nat-Interval-Logic