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 c T 5/ TLA:threads=2elapsed=17.702cpu=34.520gc=1.040factor=1.957zXZִF! iL ]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ H.wg혴DxzB.Q_V \8ϑF!H׬@k%>wkHv h+*D 6DѶBƑvCXمT(1-;ns Աż3I`&vzd'oshKuzEs|b.F(1򲁔", K0s/E𗬕WS僼!FD gˀy Ѹ*"O5u^>@T;MB/]Z3%2zzi׌ Fb6EĊ8pDqqWh4aN  TLAL!l V#n{F|W#"[IB6y?o+ʚlX޵ q rg9jrmoc Xv舦=𻖥 XlFWt)O˜w]V}E=_\M@eMpBA%7SX &2' 5kujZl2O{pY\f+aFNygO]1ܔ߶D'qvfEհNxL~}0A DQHA[9ҙY&+1wMG D?K7ÚB7{Թ%^3U&& ׳ix)ce=aǗy1v`7p~R @\:H 羫,SR؎XLyO~LA/4zm5I59@ān6Gga]]艔J=i XA !'e#"\PuUYS!ΰIз6x;{J b&uo woݓHlc̝. r=S!kjw/(ĥ3Xjʑ몿g)HmR7;Z,1]{!BfeZj46(7#/vBTf`tnU-_OoaKLY1qE1w~7Lc (Mo2 wAGw<%-G#FedWl6w]ySd*\ 4J'T$dYz{I,sS pÓE}DYN#~iD`@M,GYRE& 5})U|O0LwVtL7آpInKq^ÿAn[-"KNɕ(S)G *T! k VVUE>>ڀOu ZE,sSBpg< twiK 1S^[Ξ9*0&፜AMY9.iV&>A*(/`"c;2 5!KlaUgr%e"-'Pw;c\d@+'2O"7,Hf4*E 0ӼpK 03hiuZ5 Q> *1cwϗs@BBAa":"{Tyi뮐 ppI`[Q|6)i#E |1^!2-yQVz5۫Tnֺ r-(ޡeT ^ͱNXCni|Ӓ#D}wJ+AJ",ry cF+hDƊYIrM~\6ķ~5?saX~< p8nt@rfHl+B` @LP(aڷ-?sKCH6j1:[a iPp c觠,dng },N_sl ~fV fQw3#rL7/VX{!כsH^GdW=K(L7 EWf1?q_~0f;{͕?n5\Oe|Yt`5"Ȩ0v䰅MU b*b8tXEoD(UDNYcLT`d`zHCrǵVbO'?Q/ڢ"V akZn1(Wd,[L %lKc]' C]YOÞv֎a+Q庳$rȋ,EC@I)mx&*j9(tq~J/|S#m{E騜U%M@7r`В93˴vƒVWmSkoA6;tyY|E3Qչ1/*h}>˙j% BIZƸIi9VCbu[-R:Ԇ6^fu20ݳP]Rg*Qn?³j೯r;O8IYЛi*V5L.&,y`9t7aOq:1EwOw` N>}`)ګ.y(a N c ?Lz>, YV!X"vh\qfI5ח՞%6 hHb%kchWNTH1k_%yX ]uB5jd6+ۢ[k3!ve4?}j03k H8@43@Ak"p}-z`se}_g\ߵ=#̽Ղjjk/ڃo=$7N^H5QZ}-O2 .@eC]_ ؕ"yg gYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad dd761cebafa237c9ca84d2d617f48eb117351828c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3