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 "-  ?I Perron_Frobenius:threads=2elapsed=10.586cpu=17.236gc=0.536factor=1.637zXZִF! H]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_rb£Drѯ/Z.p*+BXՌK8(2bksl]Q~)NHHxZl\GY.R^M(iHR-XnaQ  - Perron_Frobenius$cQjJE|P zy;bMTVoΡG:/|m]&20Pz@>g.#ݵwl/4scEq: ~_")x'8=rF_:˴4vPW7hP"D ^ c #/Cz?KH%| 3~LP` G#|q ?bNCl* h|EQMUR`lН/,<=d[; YM|D}-?+q!IokPY_[0\s2]JM+WRTTTcCU.T3U*GjSP"4=mc8dsܱNk,Rnnif hr%<8oFZYj*b;dmY4ýRygB£Mkn@ƭUѣD< 4F-tz+02}?Sb9m *[/πO5n}|*Hbplkow-q/܍I>}&SaxaQ_FˁG%YkxnBjT@w&+p2 P5WŅQd`vd<+5)GpZ:bfϪ ?UDK5I rQx̫ݝXF<&ys%[(r> {P%O]}/%yUlfT8$" Z0*5^F8F3bpfSI4gϹlwg[Ѯ:ͣx)0䘯G4#KAAP5ĺEhW (+Rjލy핷`mиDkARg]XlQ{gvpֆq8iyڳ"0$>]pIRec9?˟jJ#d߰" ӕGb7^lWP2vrÍBt-,rhpjDo>GmKST^cS=EtW. Ev}9X_a-N͍Ybт!FaewF>z`Uiw0bj+/,8(i!.甂=@ %7 :kt2y5NTIy;1J#!A 2ԱgYZ7zXZִF! ?]ŗXi%:\UeyޡneQmh}̠uZ)N 1C 0i (EV]ׁAg`b:Rb=^2 噕 2lGE53E Eng!sɼ}yO5z\v"I,Ǭ #n9]b+W/r W?ݎ'ʹ*F~ACQ~:aUwGS=GM`@ /=ƍ.bIdDpȘC},鯼6Ur hZfpgEQRѝxPG'zLgJKhoUE(irJ%e# ?K\FKQK|lECZ|X.KBGwIƲkB#M(L4b=3&{JtyHq.orPU-zyBg:S%{E_G-<9_}A1-D6osv}6As֙'mdeiB$̗5͛uG}CY"軼O\dvaӿws'mTx3[lyB ZMN:χ{؆}J*;Er1hR|LYKvr:\pl%yG&/P\fWz[l)7d 2Jb81%gNTk#