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 88E t,T ]w]Routing:threads=4elapsed=11.215cpu=30.548gc=0.720factor=2.727zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xa&BWY3Vcp2ۭwC1(Ͻoɞ^/Gr)Qlţ#)8.^4bТ2Krwsmqf]XWCpdSs%B`hO~+1%?2Sjm>$"ƒoP)uEAy kZ {"& >x t\7*|Wm)8SsӃ ( k O/Z*qN)yg?Pƿi95<(fc.~4M,nč#tq@Ϥ_;Oa K~Ύ/ym kUEI7hIAģIUn2Э[>c֐HJam;86"KWgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML-RmJi){}_;6xO]N hs}b+>jeO~[yn[߶Y9[^lDc" "[+\4DW)OE0ib. {[ DƸ~r!gYZ7zXZִF! PW]ŗXi%ES3􅥿q "O^%v/vr,w~ɘR-ư؎sfVI|lTb"τ_.^1TBUa7qZ@zv׻X?Q"x=Irz*dW/)*IZQ# jek*Z&PdvPD>ezō6Jjgb?w&=_ %3=c|@5u#aViy*ًŌIzKڶk0Zv٩a:FiΜ VLRw}fi2GI$HQX\3!zġ IG 2 M"RMg4N2۠G0, gx;q I?am1OR:I O0c_ F( 2#7TtzϘ{KJ%]W5>\c9 }zQy;c;3ILIRD<5|!)sZ{ ߅[G4zˮ΍IՍNӋNDF1Vq1EtKa R:}0JV1;U8KuLTI.& eU1rx%);S\={}z5 ͇ΜhX:e HoB_gqW fg"4vW; ,m4~a)gpT_瞬|V^Qc\hceP銱V:ѷzؙ ¸E,|[qpg@!*96{w jR!nusn]FXE~4δ:{\Ɣ?H 3>51sE 1TVrx·X!+,PcԅS>_-$ޠnJS'hHD(lKa*dpEUK&@#@/L*2.J~/Wd,{{˶ +^D>PYϢQ.*_C?ћsV )kمe޹*},tӮ+8cTM' .l)V]R.Jb GG1rAY03D%ba ajHÒ +.in aQw<ƟJ%#4r/Tv(ˤ6Ul<2")0 v k^1cţ/ֵO ؠ0R1gYZ91f1f05b3b49d4d0e87685c1e3de60ca7e4a9fe476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 eceb96f25f951fcb080d5ed4a865d467b7a66839 eb32ca01874e5e5a21dd729460d9bd319b72f6e1 6563c2fc0559741ac90c820b0cdd8ed0de2c2ab6 097927c2b255cb38db0627dbbcc211cacc907b05e772df874c857030a75d2e9475390c6c37b2b25b   Routing