SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 m7\< / Gauss-Jordan-Elim-Fun:threads=2elapsed=2.858cpu=5.420gc=0.052factor=1.907zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc"bx! ߸zB~2 u(2;LqbI(|,1 @ ~WipP7p戺S COfekl2ݕa"l 6@ڍƍ9/E 7Uv ' 7 Gauss-Jordan-Elim-Funb.r( s/`К=Axc5[N*zNP:pA0̫\Xsx ;+ !4l˷! :Qez6~N; U?/p"պF^լP~-=%6PkG EUy%N׽lVn<-˕)Eb+ )gYZ7zXZִF! L]ŗXi%̎˲mk%*39X7= Id4$;3 v90fBAq7*YJ93S097M ӦJ铦tJ70!|oYW3|%.RȪQ-fx3&s16!'-JXW٩ÿZS줤q%/?E^6;N<2L \0䷟0sZn}MGա),'bNn? Kpk g9LǹF ڱ), eC@ cx]*;&ۿ&ɔ;ftHM8'9`hӹsT[ė#k\>џ1P5R2mQSC@)(NlF_Xf.J45Gi3NA;PTL4X.R#ױgYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 85907c10632df3455d62bd7010848435e3642104878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457