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 5 l$D ]w]Routing:threads=4elapsed=12.189cpu=33.580gc=0.876factor=2.757zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Wf:}bgs8F^ MrM+[PY;qRс E}vZzBn^,v("'^Z[㾽E.lJښB䩎>@5s#k,3X)>(2\$(rS,$zH P%W@.J"H <0-"t|ǻ҃BmP6K󚥊/,LY8Di Ljx\dIV1ٔZa;TA(QD9E y3nߒzMRZmԌWSi~ vX;P9t\Vf )qVcTB:@Z ,VHŏ4ggD`xmndr]G)Yqv_C)*.ĞSJrZP"gYZ7zXZִF! X]ŗXi%I n_Q,vBқ/_o){ ޮc,YqD uACmkSj-@ ؙ[!T#W1]3Qu![`pn;w{h^()lpb"15%iDZ|({5Eҽ7veVG ,$Nl?ફy19'G2kƧFZe/%ؚ/Dh{nP fLq :NS/?ݲ&{򻣓y}3/R|+>圙 å5NxgGZWSҚZb&hke١ő[p!&M.fZx/m&(W<99XʭL}0??R@AO NT던-Ya_5?(ʣx$C^ #jeu{\eNn6_\q힔3k#\a]oRU"cV' ̌T8AyƸ/"%պ{kBce}ҹiVu9hʖ͇+cí{f){)o?H6)l[>Ɯi!:99|ޘ̐g ! jSֲ@\2wbO!m ]Zq4yӯځ,fvw2T VGJBћAӏJne 9[ PokH4Z w|@35w"=[GpZgU23E>eJ.YMqv34"E_6|gT 됲M3-:U琿okV' zh[/2Sp}6zC-g }Ok|JM4qsafG }:6'rZE= Zk"ь?y0%*42s=Ys 4qȲ5)Fl-!<;Q|FMXu냬#CO}{Qi4ݲ̴g+/O*bgF PLP0L,]緀Ԫ+Z e\%@ a  ,R /F:\?bi QgYZ99785a04ae22a47acbe42d56938b3ec19c0e1e945a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 cdb032e7723c8337faa25524a19096f7df76b863 5232d6717f1735b54bb5e9dd3e1a9ac1203d201b 59b4b5bcdc957ae2813366e1d9c9e0ddfe632ee620f9fcad3086bac1126e2c8937e489b12dd7151d   Routing