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  |,L ]w]Routing:threads=4elapsed=11.742cpu=32.248gc=0.772factor=2.757zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VJzMc'VEW3u^31|0mYXjP7|C2 Gb)᷶ 2-3LqKOϽA8EK,>+WUxql qnʢt v:R_f,a,N"B!b`>4Iwt_aZHFX 4z j=;~d՜_*+h 3%-mNT8]t7?4v~>'ذ%'JpUb(򇤴țLpC}W}C߰'/$,k Tf<GJ=m^0{[×s)بl#0%q8rnss bȹgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLG -hME#aN!=ea7#ZY##Qn+qVi%;/XZ;$5~,:*u 'B%,v&ʭ8󘄶4t0 wݞlOE{09 NTY\y`tlgYZ7zXZִF! V]ŗXi%Eb4O3.O>-5hd7DMPeKc]m>c{ܣǛW!X+w $CT Gw\ڠdBEA=&mi cM; ) |MEBe&ͶvE" Fլ~j_m7W`G>ĹPb 1^s*&h޷Yrq` \[ ]Xݏ5}@C/.q/N=&\4; ^}lY!_N,0TevJ8‰ޯFG64j^1;x}C 3xV0DWEB8OŸ&o/y{L^WrPyډ.:eheRSGb;I%cRDBj :,N}9n SΩaX=^jY=TW]OZvWq<4#!>p־6Q=:,atuI،(Fj,I ܚ#11 =X b^(qغflPݽSy[]2ru=y3Ǟr61'(\6EAOX8^/SR#Bn:Nck-9 RY߸6@?gN{9Z 3W 1lU&Ĕ61jv"Wpo ] ݳm}[t+gJg"#+tG:0LA\tc='|ZtL]/L:b#|N_?'+shN ײSq9k2VKK$'Tֹ䢎+ (-'v&_^v\KdrM9*JF_o[I hvj_&} /XjmȮ0JoƗW$(:#ȴ5#&/xFdi$kL8[L}z5nk wOWnd(Rj93VѾGYcҬWߎjZD>S4xD2L%"G~rd0" "67MJz^!v|7~` +QͱgYZa7be7088d53ad32ff7a1aa6b2efc0ec902e6cc6887d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 e0ec58326210cfc58d91b410e3bdbb9fe9c4c5fc 281b1b11a3fdddbb4ec89754e913b32654d2223e 4e0c77751ce047cd561ed9b878cf9af7e52d06e5 7d73b35eec1b161e6ad8802629f9995baa5620e69ee1dc853a79cb96d6aa1f04095ce510be9266d6   Routing