SQLite format 3@ . BBh77otableisabelle_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 ll \ ]w]Routing:threads=2elapsed=13.669cpu=24.420gc=0.944factor=1.797zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k%o=}^r|N>JpQI*%BFѮ XBі H1h$L ?<|'ӹmt|3dϵ)"k$`b6<j"pc8Gs`te&.eCj/oi*;|mbLUgFGxi)o;nN|vДm:%"/Jì;6fF9r+͛}ƀO.&-[k&H쌐& --}K6HH0ɸT>RгH!֕0-72~N|p wv-$ѲW{F6m+BES?` Վc D} <v~r>ްZ֥@O< R',zgYZ7zXZִF! Mf]ŗXi%90ø{ܣJ^UD3Pc@81P&-fUqˌoM]_dBVo䂣 Z0i{7LxI t$ROrn.M. 'xɱW}`q88LO{N&/Pېk^& @ZA t( /"]#`vx5pmWZv ݑV7χ~ѷ6*zkh'pcT\綍Հ g[ꅖg@ -vX@)cjW'$fmz'F:j:\è˱J 4z;sVȪZ6)=KtdֹjЇcŁږcMο LC u}-1M-̍@ߘL4m6 2kaDlA}:"wqeZYE GaԄz8Y?а(7\(˼:!<`ڂ2a; ^/a߬Tqqi%0lx󰡞&ޒʏê&KcSݶ dðBPH2xGSd!EwloqBjNB"kl3lQ_lb zES_Cɡ.E$`zĭ;Wݻ şj"qZlmbEr-vp{ݑ<=[7ҡ"YR%ِgvɎ 3S W3+̚Jp-ɶYJwr4.L񑨑< GI#$ ct)J=W0砹l_,# pْ▙#w&䎗y+>3:#$2AGɉG6)SK>s;uPEL $tsGod*@nIN Bćq`ʹQ"д}-ĭkI5HOT: H#.֏TL0f`Z.'?~w۹iGf]$Bp 2+/ʦ@?@ @Sdh+ͬ}QTDeI{2, ƊͱgYZ6fd143d57339faa75b7ce3e51e847c9fc339b801ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 62c6fddbd84e1259c96caee5efb59fa18f6a65d1 9b94fd7b91e92e061db8672cd70cc40f5a3178cb c265ec3d19505a882a3dc734c58a8d45b6860c01 5fa2165c155c62be03fde2810c7d7c29f32179f622818a01932de2a3cb20ffa1b11dee33bfca7d8c   Routing