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  X X%% 4DL ]/ Latin_Square:threads=2elapsed=7.221cpu=13.484gc=0.248factor=1.877zXZִF! T]ŗXf1-/6vR[Cx# U<Aq"/ b-ar^LMd௛xު =r &O8ſ?CR1BÓF͙] bj[>EJ"8ʮg^$T]Wbm$nۚR)jRP/N/αo.uZ*"wnaCv;iJ= Um\n:mLpReޖ]XقӚA@Fu$(XH*ngU8Hu$2=B5>E /{\!D?BX 33SaIh壱gYZ7zXZִF! Z]ŗXiɟPaOõEWDwSC<o_|q&Q[`zc>WD 0ȧiH{* \ TvgYZ7zXZִF! 1F]]ŗXi%92m/GeIi;oCqx#/54r֗H49.f`HXD<~0u<طU}<l qugܙփ` ©3T^!zhߣw&cc!Q3 )>Bf#ܐm=+\ ݵ畲A"ȩP@IyfL^꾿ŴYg@{񽺖 `}|-h3*n-]eahwj)g]()fփoqq/"B҉HFj]c` UhQy94q/hvUWwkgAIMnUM7m1I@زs/3):'i9,&Avz fx2d=p΁5\l5Ο)߭ eaçx#ڬ+X+ţg<5Y'̣M ^ CCZ)n)(6d |V%mm?߾ε 4FZ&œ{lkܷvK4"ugW,L)Ү[U}/E®Jw!4 >unSuP~ۻ% cSṪ7<,Ppw zۨ C` [L:xt`I)fK>E_T5DXϨh+hw&$@h|*$U܊{ӧى)dzzK]$kʼn< w>`F "hMjgʹqsFF%b]AޱgYZ80f3518813427a166b8338c2f37696109f4bced10dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a % Latin_Square