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  u u+ |, ]%]Simple_Firewall:threads=4elapsed=28.905cpu=98.760gc=4.008factor=3.427zXZִF! Cv]ŗXf[&Q̪"AxO!\>T +sM3٣1&] :&!c ww@Bk%gwg;$E/~YB֦w*s~CU kb&&yoQ+rfV# m< uzTE/խGPx F YobuM=NDe ɪY]Qk!^ ȳܟBY[+|Ao,[(h- x07P.nӚ)+gpג$qu:Eu@?_f Ϝnrȁ~K4̏ M-";)]}*.=۳]CRuST>K@zoab02Vm`D6]YpA| 3K@cH"E ґFN@84 /;t/f#'˰8B 7LZpQN]EUɵbq 8ݜžvKյ ;Jy9Q"TBB R’M3;t[iy#}{b ـsru6(7|}-3W+t]hKz052O s0rgYZ7zXZִF! ę ]ŗXi%L /I4tdX #n\(VDs7mUa]_|O5 b>pDC֤3sOĴm[ARг;JL1{UObasu\7G bu~ .6HDi95dYQ}f L5e&/,'VW z[Pôt+%glwZ͕8) w|/m9mI*dDCRIqt,(gS\_ UmކuY7 Z9!@*nRwHA3~qAor,QvXlr&$ٔ9pFR ?Go5O`gx3bj^vHv{s]&NվXc-8ê b_ ֈ78ӈ s;ve{2"X'1),ZoRSM2OIR )Jbݭ^H9հLEz] h531K-tWVo Іf]qX+ڗ4"8@Ȓ{3^wVԆr֓VY>4eɝוT :'^bxæMpK#QPTH؂t\  \~RJ4&4C;b_s!c\wR#x႐CUhymx񇥊E%ѼOOj,q1tʵdfWmҜ}IJ]ꣲZF ӶPP=FG 34 &d›jqB /HpA282_GkXb?ڻD2IHȨ6%$;نH6^ΧӽQF'_3oK`? 8 *){gJL|$RyBH٥R"s>䕱wɯZCI.rb@$wq#Ũ<%qw, pWܳ9؏?_nP76i8q]驃J 1Րzٱ͟kB #h-^nL0YH`E0^`ݑOS]V#H2{gr@cl6@e-ԱGo4r]hyY5H 1RMo)jJ6|)YIV˔ZTk ? ՋîZs,)IY$ҍ|wjVU~ uxY,1L"Wl4ͤYX> Oz+SJ?9k,H›qC&A ,* 8@-$R@ i)=|V)qGM©% Y8: XFr k/6?A&i1WΠeS:U*+SG4Bd""]kC+ y{tT6X}̙rS?#~0b#ȻskxWl)ʵպzA^ q}7,5:t+EaBktCK!Q \[N]9+܉3Z P޹|=jE( u?=$1x&5Rs0vE+Ӟq !(Iȅm/NA#k?o'*_[MD"@e8ŁfHﬣvȿc7>~z2dsˉBuL.ސ'Z~% t֙2Wc]B0e]|b%[  QSIn2sy!kgm8눝@Zw!EjH0؄PͫEt0'`9v.+a 2 &) c19c'Yfv$*Wg_M{p+OL }RqC(;<4nX/2CӖ/kڎ@: %?SeĖo]?4s1A䰓׃ eTp& V!ҒEo%dՃ4ofr/6j⠕h %[fYM'V)ELv߼*X(^9˩WNZw9TwdbgM! (u4 VPG- K-r@sQШ |vi0lRfUN:=z ĸSge~r7H~1DX%jYZk $4nQ-=P`*͂֠Oh) |HXg.^bHlZWYílXS,i\gYZ344fad1507a0b06c1ba2137b7e3ee13eabb2a445d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 220bdf17d54f55aa3930e6babf5204226c781772 75186d15511454c542d1476c266534780dfa49fe c116cf45bbaf876218b3501401a79cf418f20d3c12a86544affae3b2ad29ce03af721edb00670a25