SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 OO.% Ll ]/ Derangements:threads=2elapsed=18.195cpu=33.684gc=1.492factor=1.857zXZִF! ]]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ 2<#@%ل;EIT5(8Z6Yl_ߒeX۪ cy ^^otZzhD)'l+^5O9fn6$#B=Pm.ԅ8-pE426hhU^ZڴFW@{CW8y-te1qS;Mumz[8QoI^(^܊k)MAj?KNReӒmd[ /i໽3~XښFHmIʨ lLv'?Χex;Sa!?@0+' wٙ<~0XMʵ(+P?.HW5b*Qv05 U;&M%>ٖ` klx !$ |'Dic;ٟ(Dxd&#eP53or*jz ⡺ )`R&ZaEŞwc؎Brjc'\k$%/ޱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4bQ*Oi}G0m՛Nalti^qq-D- tm⸟adO7>0VC ?~j9ߛCTRh뒬%' PdRyxjgYZ7zXZִF! eL]ŗXi%>gDȵ7T8p)EJ]T|!]X0o>:}RUb7<7D=jeHl8qb$Y!\:况t$c͑;qk.?!6FLR|TzD+-4Z/ßUUzY!GPECbJ\~+/FWHu 6#DJ8Cs^9ڀ:/m%ah+.oHe'މ L&Ye`;E}dACT}D,$Q\/Γf-t`v 2,0FSf w{uf/5( ;Pk,gO YjP2rey/*txR±N NYmf#:Ȕ?B{o@eg6#_Kֳ)'Ϻ)AR dnlgոxR =®((C*+gxY[zqz3Ċ t ^0Qn@!fS7&^$+no~Y=l*fȔwV]2r T&fr_Gt Eo3l!Ezug\3pEsYmXfy*ַL1CܤeAYa{SuZU gX qgCI@ 2"=tG x]b8lBk@ߎÏZT6%ϙ{H=rIȜZun/*zRe2-1zHfȹhD .3Spǔ3pL/|'[H Ã4K2j;K o<;Wm: Poi4a‘\Wif4@<J'\HgydOM[e@;=/ ^&_%;24_'1 P|7k)Z= v~{@C,S22YgIN>˲aN&NfHY @X|IPhk(mg@~`m!DpqC5ٲud0ArUr"Ax&|=Bnap\nwY]+[Ӫ.fəPV%WL/`o6Wwԓ syHGeMSChKpT$L0hGT=)sq0E B}#Ǟ_px#qPG] + ו/`_NS0 _bu7hJAgrv {)îc1AA[3/ _c wn_sI$NWwѹˀbD?Wʽ_ˌsj%rjaq: N)gYZbb7ab5b5a7556ff9bccc514aa2d8fd8033fdb471767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 % Derangements