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 }- t| ]% Orbit_Stabiliser:threads=2elapsed=11.160cpu=15.072gc=0.560factor=1.357zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HFpEU]+Q#b[V01>|A" Fke.3IL&E]\Pv _8y &ƿ#`Y;z5uZ4mһwij 45l)>f4VfHйxx<ޣ8LRy $tgYZ7zXZִF! w]ŗXiɟC,|XJQWpnz|9"癫= e DS^iOcSw ?Y ҅P9]ro%hEE2<2Jڙ/!2KX/ݴgYZ7zXZִF! D]ŗXi%W~_d}6XQHX VAW(@bp?z;4v32s[5(4_#?Nv.n:cͻh{(6 ϊL:j^ E<' s5L ]#"p~zf.EO@Twr? &ȉL焫K_Bgyv_bGTĽ& $w5#!y'lI -pbboI[xDOn8eP>>+=;/ױb^'#_kp-u){M&+MG;IP_QV mPVT 蛓䃅hb7O:Π-YxDScGWiiv/^RF|NLj(5 _3!.{u;Y POMevT'f VK=5xgr`_+W2DPb഼8z+/9aK׈Z(z^*.m?vo1=mi-i 8/XDf<*1)/gKn1IyBXgw#\;꺸O S iCyMDy-öTpٵX6v\ qنRwl}>Y{UA\bx=l&kHUۊD+"Y\V*%k4 ;n[`X : (~?y}B+gab30֦x$̀!'䛬~y]]78<9ސH!&v.3~C;)1B׋`=l u Dl ydTȮjvF1+cJFXZRŝ5s8k _X^nzP1д`CYJE{IRV7BӎӺeSVqH4䂔m7`Բ'z[ŷ}S&AlgYZ9e34a5ecd0723d58e51909f6dddbe71d82459018d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb e59e10f7190a9f7f068dcb0d18ba1ed1273e2ff1 336b34cd73778a5b2e25bf85d859347dbbb45f4e - Orbit_Stabiliser